Toronto Math Forum

APM346-2012 => APM346 Math => Home Assignment 4 => Topic started by: Calvin Arnott on October 17, 2012, 04:46:26 PM

Title: Problem 2
Post by: Calvin Arnott on October 17, 2012, 04:46:26 PM
In problem 2, do we have: [K > 0] for [u_{tt} + K u_{xxxx} = 0]?
Title: Re: Problem 2--not solved
Post by: Victor Ivrii on October 17, 2012, 05:20:29 PM
Oscillations of the beam which with both its ends having fixed positions and fixed directions (bricked into the walls: it is called ''clamped'') are described by an equation
u_{tt} + K u_{xxxx}=0, \qquad 0<x<l
with $K>0$ and the boundary conditions

Title: Re: Problem 2
Post by: Aida Razi on November 11, 2012, 04:16:18 PM
Solution is attached!
Title: Re: Problem 2
Post by: Fanxun Zeng on December 19, 2012, 10:30:49 PM
Thanks for a and b. As no one has posted Problem 2 part c yet, I just did using IBP as attached.
Title: Re: Problem 2
Post by: Fanxun Zeng on December 20, 2012, 02:10:59 AM
In addition to Part c solution I posted above, here is Problem 2 Part d Bonus solution to prove eigenvalues are simple.
Title: Re: Problem 2
Post by: Victor Ivrii on December 20, 2012, 02:27:33 AM
Actually in 2c we prove that the problem is symmetric i.e. that for all $X,Y$ satisfying $0$ b.c. $(HX,Y)=(X,HY)$ where $HX=X^{IV}$ and $(.,.)$ is an inner product in $L^2((0,l))$: $(X,y)=\int_0^l X\bar{Y}\,dx$ ($Y=\bar{Y}$ as problem is real-valued). This implies that eigenvalues must be real and $(HX,X)=\| X''\|^2$ implies that either eigenvalue is positive or it is $0$ and in the latter case $X''=0$ (but then $X$ is linear and $X(0)=X'(0)=0$ implies that $X=0$ and $0$ is not an eigenvalue).

Now $\lambda=\omega^4$ with real $\omega>0$ and characteristic equation $k^4=\lambda$ returns $k_{1,2}=\pm \omega$, $k_{3,4}=\pm i\omega$ and
X= A\cosh (\omega x)+ B\sinh (\omega x) + C\cos (\omega x)+ D\sin (\omega x)
and apriori multiplicity could be as high as $4$.

 Initial conditions $X(0)=0$ and $X'(0)=0$ imply that $A+C=0$, $B+D=0$ and therefore
X= A\bigl(\cosh (\omega x)- \cos (\omega x) \bigr) + B\bigl(\sinh (\omega x) - \sin (\omega x)\bigr)
and therefore multiplicity could be at most $2$ (two possibly independent coefficients).

Then $X(l)=X'(l)=0$ rewrites as
&A\bigl(\cosh (\omega l)- \cos (\omega l) \bigr) + B\bigl(\sinh (\omega l) - \sin (\omega l)\bigr)=0\\[3pt]
&A\bigl(\sinh (\omega l)+ \sin (\omega l) \bigr) + B\bigl(\cosh (\omega l) - \cos (\omega l)\bigr)=0
and $\omega^4$ is an eigenvalue iff
\cosh (\omega l)- \cos (\omega l)   & \sinh (\omega l) - \sin (\omega l) \\
 \sinh (\omega l)+ \sin (\omega l) & \cosh (\omega l) - \cos (\omega l)
which rewrites as
\cosh(\omega l) \cos(\omega (l)=-1.

Part (d)

What about simplicity (Fanxung arguments are wrong): we need to prove that there is exactly 1 linearly independent solution which means that the matrix
\cosh (\omega l)- \cos (\omega l) &\sinh (\omega l) - \sin (\omega l) \\
\sinh (\omega l)+ \sin (\omega l)& \cosh (\omega l) - \cos (\omega l)
has then rank $1$ (not $0$). However if rank was $0$ then all the elements would be $0$, in particular $\cosh (\omega l)- \cos (\omega l)=0$ which is impossible for $\omega l>0$.