nextuppreviouscontents
Next:2 Dirac delta function Up:Part I Theoretical FoundationPrevious:Part I Theoretical Foundation

1 Self-adjoint operator

A homogeneous second-order linear ordinary differential equation is said to be in self-adjoint form if and only if it has the form

eqnarray718

or equivalently where p(x) > 0 in (a, b) and p'(x) and q(x) are all continuous functions in interval [a, b].

eqnarray720

Despite its appearance, the self-adjoint form is general enough to embrace virtually all second-order linear ordinary differential equations. For example,

eqnarray722

We can easily transform (1.3) into self-adjoint form by multiplying through by the function

eqnarray724

producing

eqnarray726

Equation (1.5) is now in self-adjoint form provided. We pick p(x) such that

eqnarray728

By solving this first-order ordinary differential equation for p(x), we find

eqnarray730

Thus, we can rewrite (1.3) into the form as the definition (1.1). And it is notationally convenient to introduce the special differential operator

eqnarray732

where

eqnarray734

L is called a self-adjoint operator.

For the case of two-dimensional problem, we could also introduce the concept of self-adjoint operator. Since we will concentrate on the Laplace differential operator in this report, the concept will be described under the consideration of this operator. Suppose tex2html_wrap_inline6043 be the Laplace differential operator on the domain tex2html_wrap_inline6025 . Consider the integral tex2html_wrap_inline6047 where tex2html_wrap_inline6049 is a differential element of area of the region tex2html_wrap_inline6025 under consideration. Using the integration by parts, therefore, we could have

eqnarray736

where tex2html_wrap_inline6053 is the outward unit normal vector, ds is a differential element of arc-length along . Since

eqnarray738

where tex2html_wrap_inline6057 denotes the gradient operator, defined in Cartesian coordinates as tex2html_wrap_inline6059tex2html_wrap_inline6061 and tex2html_wrap_inline6063 . The equation (1.10) becomes

eqnarray740

As we mentioned in the introduction, the boundary condition of the problems which will be discussed in this report is homogeneous, so that the Laplace differential operator plus the imposed boundary condition must be self-adjoint.

On the other hand, we will try to use Green's function to solve the differential equations in this report, but the method of Green's function involved an important function, that is Dirac delta function. Therefore, we will discuss the definition and some important results in next section.


nextuppreviouscontents
Next:2 Dirac delta function Up:Part I Theoretical FoundationPrevious:Part I Theoretical Foundation
Cheung Sau Hung

Wed Sep 15 10:03:39 HKT 1999