Skip to main content
corrected misprints
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247

There is a double root of $G$, i.e. $G(a)=0$. $$\frac{1}{\sqrt{G(u)}}=\frac{\sqrt{3} k}{\sqrt{(a-u)(a-u)(b-u)}}$$ TheThen the integral $\int_a^b G(u) du$$\int_a^b \frac{1}{\sqrt{G(u)}} du$ does not converge. If $\;0<a<b$ then $\int_0^z G(u) du\;$$\int_0^z \frac{1}{\sqrt{G(u)}} du\;$ where $0<z<a\;$ can be expressed in terms of logarithm:

There is a double root of $G$, i.e. $G(a)=0$. $$\frac{1}{\sqrt{G(u)}}=\frac{\sqrt{3} k}{\sqrt{(a-u)(a-u)(b-u)}}$$ The integral $\int_a^b G(u) du$ does not converge. If $\;0<a<b$ then $\int_0^z G(u) du\;$ where $0<z<a\;$ can be expressed in terms of logarithm:

There is a double root of $G$, i.e. $G(a)=0$. $$\frac{1}{\sqrt{G(u)}}=\frac{\sqrt{3} k}{\sqrt{(a-u)(a-u)(b-u)}}$$ Then the integral $\int_a^b \frac{1}{\sqrt{G(u)}} du$ does not converge. If $\;0<a<b$ then $\int_0^z \frac{1}{\sqrt{G(u)}} du\;$ where $0<z<a\;$ can be expressed in terms of logarithm:

added 571 characters in body
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247

Special case

There is a double root of $G$, i.e. $G(a)=0$. $$\frac{1}{\sqrt{G(u)}}=\frac{\sqrt{3} k}{\sqrt{(a-u)(a-u)(b-u)}}$$ The integral $\int_a^b G(u) du$ does not converge. If $\;0<a<b$ then $\int_0^z G(u) du\;$ where $0<z<a\;$ can be expressed in terms of logarithm:

Integrate[ (Sqrt[3] k)/Sqrt[(a - u) (b - u) (a - u)], {u, 0, z}, 
            Assumptions -> 0 < z < a < b]//TraditionalForm

enter image description here

General case - solution in terms of special functions

There are three different roots of $G(u)$

Since the original question haven't mentioned anything regarding a physical model, interesting ranges of parameters, domain of variables etc. we are to guess what we could expect from a mathematical analysis. We can observe that our differential equation describes an elliptic curve in the phase space $(u(\theta),\frac{d u(\theta)}{d \theta})$. Ususally parameters $k$ and $\omega$ denote a spring (or elasticity) constant and an angular velocity (or frequency) respectively. The ODE may describe a nonlinear (anharmonic) oscillator and so we are rather interested in periodic solutions. A convenient tool for visualisation of the system behaviour is Manipulate and we can now demonstrate what happens is the phase space, here up stands for u'[θ] and u for u[θ]:

Since the original question haven't mentioned anything regarding a physical model, interesting ranges of parameters, domain of variables etc. we are to guess what we could expect from a mathematical analysis. We can observe that our differential equation describes an elliptic curve in the phase space $(u(\theta),\frac{d u(\theta)}{d \theta})$. Ususally parameters $k$ and $\omega$ denote a spring (or elasticity) constant and an angular velocity (or frequency) respectively. The ODE may describe a nonlinear (anharmonic) oscillator and so we are rather interested in periodic solutions. A convenient tool for visualisation of the system behaviour is Manipulate and we can now demonstrate what happens is the phase space, here up stands for u'[θ] and u for u[θ]:

Special case

There is a double root of $G$, i.e. $G(a)=0$. $$\frac{1}{\sqrt{G(u)}}=\frac{\sqrt{3} k}{\sqrt{(a-u)(a-u)(b-u)}}$$ The integral $\int_a^b G(u) du$ does not converge. If $\;0<a<b$ then $\int_0^z G(u) du\;$ where $0<z<a\;$ can be expressed in terms of logarithm:

Integrate[ (Sqrt[3] k)/Sqrt[(a - u) (b - u) (a - u)], {u, 0, z}, 
            Assumptions -> 0 < z < a < b]//TraditionalForm

enter image description here

General case - solution in terms of special functions

There are three different roots of $G(u)$

Since the original question haven't mentioned anything regarding a physical model, interesting ranges of parameters, domain of variables etc. we are to guess what we could expect from a mathematical analysis. We can observe that our differential equation describes an elliptic curve in the phase space $(u(\theta),\frac{d u(\theta)}{d \theta})$. Ususally parameters $k$ and $\omega$ denote a spring (or elasticity) constant and an angular velocity (or frequency) respectively. The ODE may describe a nonlinear (anharmonic) oscillator and so we are rather interested in periodic solutions. A convenient tool for visualisation of the system behaviour is Manipulate and we can now demonstrate what happens is the phase space, here up stands for u'[θ] and u for u[θ]:

added 2025 characters in body
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247

Since the original question haven't mentioned anything regarding a physical model, interesting ranges of parameters, domain of variables etc. we are to guess what we could expect from a mathematical analysis. We can observe that our differential equation describes an elliptic curve in the phase space $(u(\theta),\frac{d u(\theta)}{d \theta})$. Ususally parameters $k$ and $\omega$ denote a spring (or elasticity) constant and an angular velocity (or frequency) respectively. The ODE may describe a nonlinear (anharmonic) oscillator and so we are rather interested in periodic solutions. A convenient tool for visualisation of the system behaviour is Manipulate and we can now demonstrate what happens is the phase space, here up stands for u'[θ] and u for u[θ]:

Manipulate[
  ContourPlot[ 
    k^2 up^2 == 2A - 2B u + ω u^2/k - u^3/3 , {u, -10, 10}, {up, -10, 10}, 
    ContourStyle -> Thick, Axes -> True, AxesLabel -> TraditionalForm /@ {u[θ], u'[θ]}], 
  {{A, 1/4}, -4, 1}, {{B, 1}, -6, 2}, {{k, 2/3}, 0, 2}, {{ω, 5/4}, 1/2, 2}]

enter image description here

Here the unbounded curve is related to singular solutions while the closed curve is related to periodic solutions. Now we would like to parametrize these curves solving the ODE.

In order to solve this differential equation, let's recast it into the canonical Weierstrass form $w'(t)^2=4w(t)^3-g_2 w(t)-g_3\quad$$w'(\theta)^2=4w(\theta)^3-g_2 w(\theta)-g_3\quad$ with help of a linear transformation $u(t)=a\; w(t)+b$$u(\theta)=a\; w(\theta)+b$. Solving appropriate algebraic equations we will get coefficients $a$ and $b$, while $g_2$ and $g_3$ can be easily expressed in terms of the given constants. This procedure had been applied e.g. to solve geodesics equations in the Schwarzschild space-time and it was clearly expressed in comments under earlier question. Dividing the original ode by $k^2 a^2$ we construct an appropriate coefficient list and solving imposed conditions we get $a$ and $b$:

cfl = CoefficientList[1/a^2 (2A/k^2 - 2B u[t]u[θ]/k^2 + ω u[t]^2u[θ]^2/k^3 - u[t]^3u[θ]^3/3k^2
                            ) /. u[t]u[θ] -> a w[t]w[θ] + b, w[t]];w[θ]];
sol = Solve[ cfl[[4]] == 4 && cfl[[3]] == 0, {a, b}] // Flatten
{g2, g3} = {-cfl[[2]], -cfl[[1]]};

dsol = DSolve[ w'[t]^2w'[θ]^2 == 4w[t]^34w[θ]^3 - g2 w[t]w[θ] - g3, w[t]w[θ], t]/.sol //Simplify 
{{w[t]w[θ] -> WeierstrassP[ tθ - C[1], {1/12 (-2B + ω^2/k^6), 
                       -((3A k^11 - 3B k^6 ω + ω^3)/(216k^9))}]},
 {w[t]w[θ] -> WeierstrassP[ tθ + C[1], {1/12 (-2B + ω^2/k^6), 
                       -((3A k^11 - 3B k^6 ω + ω^3)/(216 k^9))}]}}

and now we obtain the solution (the both solutions differ by the sign of the integration constant i.e. $\theta \pm c_1$ and so we write down only the first one)

(usol = a w[t]w[θ] + b /. sol /. dsol)[[1]] // TraditionalForm

enter image description hereenter image description here

Since the solutions are expressed by the Weierstrass elliptic function $\wp$ they involve singularities in a finite timeindependent variable tθ (assuming that $A, B, k,\omega\;$ are real) unless we impose certain complex parameters e.g.parameter $c_1$. Let's plot an example

We define half-periods:

Plot[{WHP1, usol[[2]]WHP2, /.WHP3} = (Through @ {C[1] ->WeierstrassHalfPeriodW1, 1WeierstrassHalfPeriodW2, 
 A -> -1, B -> 2, k -> 1, ω -> 8                      WeierstrassHalfPeriodW3}@{g2, g3}) /. sol;

and roots $e_1,e_2,e_3$ of the Weierstrass polynomial:

{WE1, WE2, WE3} =
  Through @ {t WeierstrassE1, 0WeierstrassE2, 2WeierstrassE3}]@{g2, g3} /. sol;

enter image description here now we can factorize the Weierstrass polynomial $$w'(\theta)^2=4w(\theta)^3-g_2 w(\theta)-g_3=4(w(\theta)-e_1)(w(\theta)-e_2)(w(\theta)-e_3)$$

Plot[FullSimplify[ ReImWeierstrassP[{WHP1, @WHP2, usol[[2]]WHP3}, {g2, g3}] == {WE1, WE2, WE3} /. {C[1]sol]
True
FullSimplify[ 4w[θ]^3 -> 2g2 w[θ] - g3 == 4(w[θ] - WE1)(w[θ] - WE2)(w[θ] - WE3) /3. +sol I,/.
  {A -> -1/4, B -> 61, k -> 12/3, ω -> 15/84} // N]
True

Let's plot an example:

Column[{{WHP1, WHP2, WHP3}, {WE1, WE2, WE3}} /.
       {tA -> 1/4, B -5> 1, 5}k -> 2/3, Evaluatedω -> True]5/4} // N // Chop]

enter image description here

Moreover an important insight is that elliptic functions parametrize elliptic curves, e.g. let's take a look into the phase space:

 {0. - 1.57585 I, -3.62049 + 1.57585 I, 3.62049}
 {-0.662408, 0.325374, 0.337034}
With[{APlot[ReIm =@ 3/5,usol[[1]] B//. ={C[1] -8> 1.575 I, kA =-> 1/4, ωB =-> 4/3}1, 
  ContourPlot[ up^2 == 2 A/k^2 - 2B/k^2 u + ω u^2/k^3 - u^3/(3 k^2),
               {u,k -16> 2/3, 10ω -> 5/4},
     {up θ, -1412, 1412}, ContourStyleEvaluated -> Thickness[0.01]]]True, PlotRange -> All]

enter image description hereenter image description here

Here the unbounded curve is related to singular solutions whileThe solution takes the closed curveminimum and maximum values at $\theta = m WHP3$, where $m$ is related to periodic solutions. A convenient tool for detectnig interesting cases of parametersinteger, and its period is Manipulate$2 WHP$.

In order to solve this differential equation, let's recast it into the canonical Weierstrass form $w'(t)^2=4w(t)^3-g_2 w(t)-g_3\quad$ with help of a linear transformation $u(t)=a\; w(t)+b$. Solving appropriate algebraic equations we will get coefficients $a$ and $b$, while $g_2$ and $g_3$ can be easily expressed in terms of the given constants. This procedure had been applied e.g. to solve geodesics equations in the Schwarzschild space-time and it was clearly expressed in comments under earlier question. Dividing the original ode by $k^2 a^2$ we construct an appropriate coefficient list

cfl = CoefficientList[1/a^2 (2A/k^2 - 2B u[t]/k^2 + ω u[t]^2/k^3 - u[t]^3/3k^2
                            ) /. u[t] -> a w[t] + b, w[t]];
sol = Solve[ cfl[[4]] == 4 && cfl[[3]] == 0, {a, b}] // Flatten
{g2, g3} = {-cfl[[2]], -cfl[[1]]};

dsol = DSolve[ w'[t]^2 == 4w[t]^3 - g2 w[t] - g3, w[t], t]/.sol //Simplify 
{{w[t] -> WeierstrassP[ t - C[1], {1/12 (-2B + ω^2/k^6), 
                       -((3A k^11 - 3B k^6 ω + ω^3)/(216k^9))}]},
 {w[t] -> WeierstrassP[ t + C[1], {1/12 (-2B + ω^2/k^6), 
                       -((3A k^11 - 3B k^6 ω + ω^3)/(216 k^9))}]}}

and now we obtain the solutions

(usol = a w[t] + b /. sol /. dsol) // TraditionalForm

enter image description here

Since the solutions are expressed by the Weierstrass elliptic function $\wp$ they involve singularities in a finite time t unless we impose certain complex parameters e.g. $c_1$. Let's plot an example:

Plot[ usol[[2]] /. {C[1] -> 1, A -> -1, B -> 2, k -> 1, ω -> 8}, 
     {t, 0, 2}]

enter image description here

Plot[ ReIm @ usol[[2]] /. {C[1] -> 2/3 + I, A -> -1, B -> 6, k -> 1, ω -> 1/8},
      {t, -5, 5}, Evaluated -> True]

enter image description here

Moreover an important insight is that elliptic functions parametrize elliptic curves, e.g. let's take a look into the phase space:

With[{A = 3/5, B = -8, k = 1, ω = 4/3}, 
  ContourPlot[ up^2 == 2 A/k^2 - 2B/k^2 u + ω u^2/k^3 - u^3/(3 k^2),
               {u, -16, 10}, {up, -14, 14}, ContourStyle -> Thickness[0.01]]]

enter image description here

Here the unbounded curve is related to singular solutions while the closed curve is related to periodic solutions. A convenient tool for detectnig interesting cases of parameters is Manipulate.

Since the original question haven't mentioned anything regarding a physical model, interesting ranges of parameters, domain of variables etc. we are to guess what we could expect from a mathematical analysis. We can observe that our differential equation describes an elliptic curve in the phase space $(u(\theta),\frac{d u(\theta)}{d \theta})$. Ususally parameters $k$ and $\omega$ denote a spring (or elasticity) constant and an angular velocity (or frequency) respectively. The ODE may describe a nonlinear (anharmonic) oscillator and so we are rather interested in periodic solutions. A convenient tool for visualisation of the system behaviour is Manipulate and we can now demonstrate what happens is the phase space, here up stands for u'[θ] and u for u[θ]:

Manipulate[
  ContourPlot[ 
    k^2 up^2 == 2A - 2B u + ω u^2/k - u^3/3 , {u, -10, 10}, {up, -10, 10}, 
    ContourStyle -> Thick, Axes -> True, AxesLabel -> TraditionalForm /@ {u[θ], u'[θ]}], 
  {{A, 1/4}, -4, 1}, {{B, 1}, -6, 2}, {{k, 2/3}, 0, 2}, {{ω, 5/4}, 1/2, 2}]

enter image description here

Here the unbounded curve is related to singular solutions while the closed curve is related to periodic solutions. Now we would like to parametrize these curves solving the ODE.

In order to solve this differential equation, let's recast it into the canonical Weierstrass form $w'(\theta)^2=4w(\theta)^3-g_2 w(\theta)-g_3\quad$ with help of a linear transformation $u(\theta)=a\; w(\theta)+b$. Solving appropriate algebraic equations we will get coefficients $a$ and $b$, while $g_2$ and $g_3$ can be easily expressed in terms of the given constants. This procedure had been applied e.g. to solve geodesics equations in the Schwarzschild space-time and it was clearly expressed in comments under earlier question. Dividing the original ode by $k^2 a^2$ we construct an appropriate coefficient list and solving imposed conditions we get $a$ and $b$:

cfl = CoefficientList[1/a^2 (2A/k^2 - 2B u[θ]/k^2 + ω u[θ]^2/k^3 - u[θ]^3/3k^2
                            ) /. u[θ] -> a w[θ] + b, w[θ]];
sol = Solve[ cfl[[4]] == 4 && cfl[[3]] == 0, {a, b}] // Flatten
{g2, g3} = {-cfl[[2]], -cfl[[1]]};

dsol = DSolve[ w'[θ]^2 == 4w[θ]^3 - g2 w[θ] - g3, w[θ], t]/.sol //Simplify 
{{w[θ] -> WeierstrassP[ θ - C[1], {1/12 (-2B + ω^2/k^6), 
                       -((3A k^11 - 3B k^6 ω + ω^3)/(216k^9))}]},
 {w[θ] -> WeierstrassP[ θ + C[1], {1/12 (-2B + ω^2/k^6), 
                       -((3A k^11 - 3B k^6 ω + ω^3)/(216 k^9))}]}}

and now we obtain the solution (the both solutions differ by the sign of the integration constant i.e. $\theta \pm c_1$ and so we write down only the first one)

(usol = a w[θ] + b /. sol /. dsol)[[1]] // TraditionalForm

enter image description here

Since the solutions are expressed by the Weierstrass elliptic function $\wp$ they involve singularities in a finite independent variable θ (assuming that $A, B, k,\omega\;$ are real) unless we impose certain complex parameter $c_1$.

We define half-periods:

{WHP1, WHP2, WHP3} = (Through @ { WeierstrassHalfPeriodW1, WeierstrassHalfPeriodW2, 
                                  WeierstrassHalfPeriodW3}@{g2, g3}) /. sol;

and roots $e_1,e_2,e_3$ of the Weierstrass polynomial:

{WE1, WE2, WE3} =
  Through @ { WeierstrassE1, WeierstrassE2, WeierstrassE3}@{g2, g3} /. sol;

now we can factorize the Weierstrass polynomial $$w'(\theta)^2=4w(\theta)^3-g_2 w(\theta)-g_3=4(w(\theta)-e_1)(w(\theta)-e_2)(w(\theta)-e_3)$$

FullSimplify[ WeierstrassP[{WHP1, WHP2, WHP3}, {g2, g3}] == {WE1, WE2, WE3} /. sol]
True
FullSimplify[ 4w[θ]^3 - g2 w[θ] - g3 == 4(w[θ] - WE1)(w[θ] - WE2)(w[θ] - WE3) /. sol /.
  {A -> 1/4, B -> 1, k -> 2/3, ω -> 5/4} // N]
True

Let's plot an example:

Column[{{WHP1, WHP2, WHP3}, {WE1, WE2, WE3}} /.
       {A -> 1/4, B -> 1, k -> 2/3, ω -> 5/4} // N // Chop]
 {0. - 1.57585 I, -3.62049 + 1.57585 I, 3.62049}
 {-0.662408, 0.325374, 0.337034}
Plot[ReIm @ usol[[1]] //. {C[1] -> 1.575 I, A -> 1/4, B -> 1, 
                              k -> 2/3, ω -> 5/4},
     { θ, -12, 12}, Evaluated -> True, PlotRange -> All]

enter image description here

The solution takes the minimum and maximum values at $\theta = m WHP3$, where $m$ is integer, and its period is $2 WHP$.

deleted 67 characters in body
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247
Loading
added 858 characters in body
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247
Loading
added 379 characters in body
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247
Loading
Source Link
Artes
  • 57.9k
  • 13
  • 159
  • 247
Loading