Euler Equations — Question 3

PDF ↗

Question 3

Study the logarithmically oscillating IVP x2y″+xy′+4y=0,y(1)=0,y′(1)=2,x>0.x^2y''+xy'+4y=0,\qquad y(1)=0,\quad y'(1)=2,\qquad x>0. Oscillations in ln⁡x\ln x behave differently from oscillations in xx.

Tasks

  1. Find the real general solution and the specified IVP solution.

  2. Determine all its positive zeros and the ratio of consecutive zeros in increasing order. Explain where the zeros accumulate.

  3. Decide whether the IVP solution is bounded near 00 and whether it has a continuous extension there. Extend the conclusion about limits to every nonzero real solution of this equation.

  4. Set z=xy′/2z=xy'/2. Determine the curve traced by (y,z)(y,z) and its direction as xx increases. Locate the initial point and distinguish this curve from the graph of yy against xx.

Original worksheet page 1: question and worked solution for 6-4-003
Show solutionHide solution

Question 3 – Solution

Strategy. Use t=ln⁡xt=\ln x to reveal a harmonic oscillator and then translate its time scale back to xx.

Step 1: Solve the transformed oscillator. The transformed equation is Y″+4Y=0Y''+4Y=0, so y=Acos⁡(2ln⁡x)+Bsin⁡(2ln⁡x)y=A\cos(2\ln x)+B\sin(2\ln x). At x=1x=1, A=0A=0 and 2B=y′(1)=22B=y'(1)=2, hence y(x)=sin⁡(2ln⁡x),x>0.\boxed{y(x)=\sin(2\ln x),\qquad x>0.} The characteristic exponents are m=±2im=\pm 2i.

Step 2: Locate the geometric sequence of zeros. Zeros occur when 2ln⁡x=kπ2\ln x=k\pi: xk=ekπ/2,k∈ℤ,xk+1/xk=eπ/2.\boxed{x_k=e^{k\pi/2},\quad k\in\mathbb Z,\qquad x_{k+1}/x_k=e^{\pi/2}.} They accumulate at 00 as k→−∞k\to-\infty and grow without bound as k→∞k\to\infty. There is no smallest positive zero.

Step 3: Separate boundedness from a limit. The IVP solution has |y|≤1|y|\le 1, but sequences with ln⁡x=π/4−kπ\ln x=\pi/4-k\pi and ln⁡x=3π/4−kπ\ln x=3\pi/4-k\pi tend to 00 while giving values 11 and −1-1. Thus no limit at zero exists. Any nonzero real solution is a nonzero-amplitude sinusoid in ln⁡x\ln x and likewise attains two distinct limiting values along sequences approaching zero. Only the zero solution extends continuously there.

Step 4: Read the scaled phase curve. For the IVP, z=cos⁡(2ln⁡x)z=\cos(2\ln x), so y2+z2=1\boxed{y^2+z^2=1}. In logarithmic time, ẏ=2z\dot y=2z, ż=−2y\dot z=-2y; at (y,z)=(0,1)(y,z)=(0,1) the motion is to the right. The circle is traversed clockwise as xx increases, because ln⁡x\ln x increases with xx. The horizontal coordinate here is yy, not xx; equal scales preserve the unit circle.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 6-4-003

Original worksheet layout. Use Enlarge or open the PDF for a closer view.