Green's identities for Laplacian-squared

  • Thread starter Thread starter TaPaKaH
  • Start date Start date
  • Tags Tags
    identities
Click For Summary
SUMMARY

This discussion focuses on deriving Green's identities for the Laplacian-squared operator, denoted as ##\triangle^2##, and computing its adjoint operator ##(\triangle^2)^*##. The first Green's identity states that ##\int_U\left[(Lu)v-u(L^*v)\right]dx=0## for functions ##u,v\in C_0^\infty(U)##, while the second identity incorporates boundary terms. The user outlines a method involving partial integration and the application of these identities to derive the adjoint operator, concluding that ##(\triangle^2)^*=\triangle^2##.

PREREQUISITES
  • Understanding of partial differential equations (PDEs)
  • Familiarity with Green's identities
  • Knowledge of Sobolev spaces, specifically ##C_0^\infty(U)## and ##C^\infty(U)##
  • Proficiency in vector calculus and boundary integrals
NEXT STEPS
  • Study the derivation and applications of Green's identities in various contexts
  • Explore the properties of adjoint operators in functional analysis
  • Learn about Sobolev spaces and their significance in PDE theory
  • Investigate techniques for simplifying double sums in integrals
USEFUL FOR

Mathematicians, physicists, and engineers working with partial differential equations, particularly those interested in boundary value problems and functional analysis.

TaPaKaH
Messages
51
Reaction score
0

Homework Statement


a) Derive Green's identities in local and integral form for the partial differential operator ##\triangle^2##.
b) Compute the adjoint operator ##(\triangle^2)^*##.

2. Relevant information
##U\subset\mathbb{R}^n##, ##u:U\to\mathbb{R}##, differential operator ##Lu##.
In the lecture notes it is given that:
First Green's identity: ##\int_U\left[(Lu)v-u(L^*v)\right]dx=0## for any U and ##u,v\in C_0^\infty(U)##.
Second Green's identity: ##\int_U\left[(Lu)v-u(L^*v)\right]dx=\int_{\partial U}QndS## for some field Q and ##u,v\in C^\infty(U)##.

The Attempt at a Solution


I haven't done PDEs in a long while, do I get it right that the order of actions to solve the exercise would be:
1) Assume ##u,v\in C_0^\infty(U)##, by partial integration obtain ##\int_U(\triangle^2u)vdx= \int_Uu(\triangle^2v)dx## (am not fully sure if this holds, will need to verify) meaning via 1st Green's identity that ##(\triangle^2)^*=\triangle^2##.
2) Plug this into 2nd Green's identity, assume ##u,v\in C^\infty(U)## and get the expression for Q.
 
Physics news on Phys.org
Using the following identity$$\int_U\frac{\partial^2 u}{\partial x_i^2}vdx=-\int_{\partial U}\frac{\partial u}{\partial x_i}vn_i dS+\int_{\partial U}u\frac{\partial v}{\partial x_i}n_idS-\int_Uu\frac{\partial^2v}{\partial x_i^2}dx$$
(where ##n_i## is i-th coordinate of the orthogonal vector) I did some writing out
$$\int_U(\bigtriangleup^2u)vdx=\int_U \bigtriangleup\left(\sum_{j=1}^n\frac{\partial^2u}{\partial x_j^2}\right)vdx=\int_U\left(\sum_{i=1}^n\sum_{j=1}^n\frac{\partial^4u}{\partial x_i^2\partial x_j^2}\right)vdx=\sum_{i=1}^n\sum_{j=1}^n\int_U \frac{\partial^4u}{\partial x_i^2\partial x_j^2}vdx=$$
$$=\sum_{i=1}^n\sum_{j=1}^n\left(-\int_{\partial U}\frac{\partial^3u}{\partial x_i\partial x_j^2}vn_idS+\int_{\partial U}\frac{\partial^2u}{\partial x_j^2}\frac{\partial v}{\partial x_i}n_idS-\int_U\frac{\partial^2u}{\partial x_j^2}\frac{\partial^2v}{\partial x_i^2}dx\right)=$$
$$=\sum_{i=1}^n\sum_{j=1}^n\left(\int_{\partial U}\left(\frac{\partial^2u}{\partial x_j^2}\frac{\partial v}{\partial x_i}-\frac{\partial^3u}{\partial x_i\partial x_j^2}v\right)n_idS+\int_{\partial U}\frac{\partial u}{\partial x_j}\frac{\partial^2v}{\partial x_i^2}n_jdS-\int_{\partial U}u\frac{\partial^3v}{\partial x_i^2\partial x_j}n_jdS+\int_Uu\frac{\partial^4v}{\partial x_i^2\partial x_j^2}dx\right)=$$
$$=\sum_{i=1}^n\sum_{j=1}^n\int_{\partial U}\left(\left(\frac{\partial^2u}{\partial x_j^2}\frac{\partial v}{\partial x_i}-\frac{\partial^3u}{\partial x_i\partial x_j^2}v\right)n_i+\left(\frac{\partial u}{\partial x_j}\frac{\partial^2v}{\partial x_i^2}-u\frac{\partial^3v}{\partial x_i^2\partial x_j}\right)n_j\right)dS+\sum_{i=1}^n\sum_{j=1}^n \int_Uu\frac{\partial^4v}{\partial x_i^2\partial x_j^2}dx=$$
$$=\sum_{i=1}^n\sum_{j=1}^n\int_{\partial U}\left(\left(\frac{\partial^2u}{\partial x_j^2}\frac{\partial v}{\partial x_i}-\frac{\partial^3u}{\partial x_i\partial x_j^2}v\right)n_i+\left(\frac{\partial u}{\partial x_j}\frac{\partial^2v}{\partial x_i^2}-u\frac{\partial^3v}{\partial x_i^2\partial x_j}\right)n_j\right)dS+\int_Uu(\bigtriangleup^2v)dx$$

Could anyone suggest a way to simplify the double sum in the last expression?

EDIT: nevermind, seem to have worked it out myself
 
Last edited:

Similar threads

Replies
10
Views
2K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
6
Views
2K