Are hyperbolic sines and cosines orthogonal in solving higher order PDE's?

  • Context: Graduate 
  • Thread starter Thread starter Bleakfacade
  • Start date Start date
  • Tags Tags
    Higher order
Click For Summary
SUMMARY

The discussion centers on the orthogonality of hyperbolic sines and cosines in the context of solving the Euler-Bernoulli beam equation, represented as [; u_{tt}+\alpha^{2} u_{xxxx} = 0 ;]. The separated function of space is defined as [; F(x) = \sum_{n=1}^{\infty} [cosh(\beta_{n}x)-cos(\beta_{n}x)]-[sinh(\beta_{n}x)-sin(\beta_{n}x)] ;], where [; \beta_{n} ;] is a constant. The discussion emphasizes the necessity of finding an appropriate inner product to establish orthogonality, specifically using the inner product [; (f,g) = \int_{-L}^L f(x)(g(x))^{*}\,dx ;]. The boundary conditions for a cantilever beam significantly influence the solutions and their orthogonality.

PREREQUISITES
  • Understanding of partial differential equations (PDEs), specifically the Euler-Bernoulli beam equation.
  • Knowledge of hyperbolic functions, including hyperbolic sines and cosines.
  • Familiarity with the concept of inner products in functional spaces.
  • Experience with boundary conditions in differential equations.
NEXT STEPS
  • Investigate the properties of hyperbolic functions and their orthogonality conditions.
  • Learn about self-adjoint operators in the context of differential equations.
  • Explore the application of boundary conditions in solving PDEs, particularly for cantilever beams.
  • Study the method of separation of variables in solving higher-order PDEs.
USEFUL FOR

Mathematicians, engineers, and physicists involved in structural analysis, particularly those working with beam theory and partial differential equations.

Bleakfacade
Messages
9
Reaction score
1
Hello there!
So here's my problem, while you solve the Euler Bernoulli beam Equation by separation of variables, how do I have to prove the separated function of space are orthogonal? If so, are hyperbolic sines and cosines orthogonal when you have a product or a linear combination of them?

The pde is- [; u_{tt}+\alpha^{2} u_{xxxx} = o ;] where [; \alpha ;] is a constant that is material dependent. The separated function of space is [; F(x) = \sum_{n=1}^{\infty} [cosh(\beta_{n}x)-cos(\beta_{n}x)]-[sinh(\beta_{n}x)-sin(\beta_{n}x)] ;] where [; \beta_{n} ;] is some constant.
 
Physics news on Phys.org
You are looking for solutions of X_\lambda^{(4)} = \lambda X_\lambda for \lambda \in \mathbb{R}. Now for fixed \lambda there is a four-dimensional subspace of solutions, and given an arbitrary inner product on that space there will exist a basis which is orthogonal with respect to that inner product. (The constraint you haven't mentioned is that X_\lambda needs to satisfy the boundary conditions at each end of the beam. That constraint may cause you to reject some of these solutions.) So the difficulty is to find an inner product with respect to which X_\lambda and X_\mu are necessarily orthogonal when \lambda \neq \mu.

A sufficient condition for this is that the operator f \mapsto f^{(4)} should be self-adjoint with respect to the inner product, ie. <br /> (f^{(4)},g) = (f,g^{(4)}) for every f and g. Now if you take (somewhat arbitrarily) the inner product <br /> (f,g) = \int_{-L}^L f(x)(g(x))^{*}\,dx where {}^{*} denotes the complex conjugate, then repeatedly integrating (f^{(4)},g) by parts yields <br /> (f^{(4)},g) = (f,g^{(4)}) + \left[ f&#039;&#039;&#039;g^{*} - f&#039;&#039;(g^*)&#039; + f&#039;(g^*)&#039;&#039; - f(g^*)&#039;&#039;&#039; \right]_{-L}^{L}.
 
  • Like
Likes   Reactions: Bleakfacade
pasmith said:
You are looking for solutions of X_\lambda^{(4)} = \lambda X_\lambda for \lambda \in \mathbb{R}. Now for fixed \lambda there is a four-dimensional subspace of solutions, and given an arbitrary inner product on that space there will exist a basis which is orthogonal with respect to that inner product. (The constraint you haven't mentioned is that X_\lambda needs to satisfy the boundary conditions at each end of the beam. That constraint may cause you to reject some of these solutions.) So the difficulty is to find an inner product with respect to which X_\lambda and X_\mu are necessarily orthogonal when \lambda \neq \mu.

A sufficient condition for this is that the operator f \mapsto f^{(4)} should be self-adjoint with respect to the inner product, ie. <br /> (f^{(4)},g) = (f,g^{(4)}) for every f and g. Now if you take (somewhat arbitrarily) the inner product <br /> (f,g) = \int_{-L}^L f(x)(g(x))^{*}\,dx where {}^{*} denotes the complex conjugate, then repeatedly integrating (f^{(4)},g) by parts yields <br /> (f^{(4)},g) = (f,g^{(4)}) + \left[ f&#039;&#039;&#039;g^{*} - f&#039;&#039;(g^*)&#039; + f&#039;(g^*)&#039;&#039; - f(g^*)&#039;&#039;&#039; \right]_{-L}^{L}.

Well, that was my approach, which was not obvious to me to begin with. But the boundary conditions were to replicate a cantilever beam that is suspended at one end. I have a rather monstrous equation which has many hyperbolic sines and cosines in it. I am not quite sure if the hyperbolic terms are orthogonal. I looked at their graphs for some insight but to no avail.
Also, the inner product I have is
[; (f,g) = \int_{0}^{L} f(x)(g(x))*dx ;]
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 36 ·
2
Replies
36
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 139 ·
5
Replies
139
Views
11K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 7 ·
Replies
7
Views
4K