# Mathematical Methods of Physics/General theory

As will be seen, the theory of Green's functions provides an extremely elegant procedure of solving differential equations. We wish to present here this method on a rigorous foundation.

## The Dirac delta-functionEdit

The Dirac delta-function ${\displaystyle \delta (x)}$ is not a function as it is ordinarily defined. However, we write it as if it were a function, keeping in mind the scope of the definition.

For any function ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ ,we define

${\displaystyle \int _{-\infty }^{\infty }f(x)\delta (x)dx=f(0)}$  but for every ${\displaystyle \epsilon >0}$ ,

${\displaystyle \int _{-\infty }^{-\epsilon }f(x)\delta (x)dx=\int _{\epsilon }^{\infty }f(x)\delta (x)dx=0}$

It follows that ${\displaystyle \int _{-\infty }^{\infty }\delta (x)dx=1}$

These conditions seem to be satisfied by a "function" ${\displaystyle \delta (x)}$  which has value zero whenever ${\displaystyle x\neq 0}$ , but has "infinite" value at ${\displaystyle x=0}$

### ApproximationsEdit

There are a few ways to approximate the delta function in terms of sequences ordinary functions. We give two examples

#### The Boxcar functionEdit

The boxcar function ${\displaystyle B_{n}:\mathbb {R} \to \{0,1\}}$  such that

${\displaystyle B_{n}(x)={\begin{cases}0&|x|>{\tfrac {1}{2n}}\\1&|x|\leq {\tfrac {1}{2n}}\end{cases}}}$

We can see that the sequence ${\displaystyle \left\langle B_{n}\right\rangle }$  represents an approximation to the delta function.

#### The bell curveEdit

The delta function can also be approximated by the ubiquitous Gaussian.

We write ${\displaystyle G_{n}(x)={\frac {n}{\sqrt {\pi }}}\mathrm {e} ^{-x^{2}n^{2}}}$

## Green's functionEdit

Consider an equation of the type ${\displaystyle {\mathcal {L}}u(x)=F(x)}$ ...(1), where ${\displaystyle {\mathcal {L}}}$  is a differential operator. The functions ${\displaystyle u,F}$  may in general be functions of several independants, but for sake of clarity, we will write them here as if they were real valued. In most cases of interest, this equation can be written in the form

${\displaystyle a(x){\frac {d^{2}u}{dx^{2}}}+b(x){\frac {du}{dx}}+c(x)=F(x)}$  to be solved for ${\displaystyle u(x)}$  in some closed set ${\displaystyle A}$ , with ${\displaystyle a(x)}$  being non-zero over ${\displaystyle A}$

Now, it so happens, that in problems of physics, it is much more convenient to solve the equation ${\displaystyle {\mathcal {L}}u(x)=f(x)}$ , when ${\displaystyle f}$  is the delta function ${\displaystyle f(x)=\delta (x-x_{0})}$ .

In this case, the solution of the operator ${\displaystyle {\mathcal {L}}}$  is called the Green's function ${\displaystyle G(x,x_{0})}$ . That is,

${\displaystyle {\mathcal {L}}G(x,x_{0})=\delta (x-x_{0})}$

Now, by the definition of the delta-function, we have that ${\displaystyle F(x)=\int _{-\infty }^{\infty }F(x')\delta (x'-x)dx}$ , where ${\displaystyle F(x')}$  act as "weights" to the delta function.

Hence, we have, ${\displaystyle {\mathcal {L}}u(x)=\int _{-\infty }^{\infty }F(x'){\mathcal {L}}G(x,x')dx}$

Note here that${\displaystyle {\mathcal {L}}}$  is an operator that depends on ${\displaystyle x}$  but not ${\displaystyle x'}$ . Thus,

${\displaystyle {\mathcal {L}}u(x)={\mathcal {L}}\int _{-\infty }^{\infty }F(x')G(x,x')dx}$ . We can view this as anologous to the inversion of ${\displaystyle {\mathcal {L}}}$  and hence, we write

${\displaystyle u_{p}(x)=\int _{-\infty }^{\infty }F(x')G(x,x')dx}$

The subscript ${\displaystyle p}$  denotes that we have found a particular solution among the many possible. For example, consider any harmonic solution ${\displaystyle {\mathcal {L}}u_{h}(x)=0}$ .

If we add ${\displaystyle u'(x)=u_{h}(x)+u_{p}(x)}$ , we see that ${\displaystyle u'(x)}$  is still a solution of (1). Thus, we have a class of functions satisfying (1).

### Boundary value problemsEdit

Problems of physics are often presented as the operator equation ${\displaystyle {\mathcal {L}}u(x)=F(x)}$  to be solved for ${\displaystyle u}$  on a closed set ${\displaystyle A}$ , together with the boundary condition that ${\displaystyle u(x_{b})=u_{b}(x_{b})}$  for all ${\displaystyle x_{b}\in \partial A}$  (${\displaystyle \partial A}$  is the boundary of ${\displaystyle A}$ ).

${\displaystyle u_{b}(x_{b})}$  is a given function satisfying ${\displaystyle {\mathcal {L}}u_{b}(x)=0}$  that describes the behaviour of the solution at the boundary of the region of concern.

Thus if a problem is stated as

${\displaystyle {\mathcal {L}}u(x)=F(x)}$  with

${\displaystyle u(x_{b})=u_{b}(x_{b})}$

to be solved for ${\displaystyle u(x)}$  over a closed set ${\displaystyle A}$ ,

The solution can be given as ${\displaystyle u_{S}(x)=u_{p}(x)+u_{b}(x)=\int _{-\infty }^{\infty }F(x')G(x,x')dx+u_{b}(x)}$

## Green's functions from eigenfunctionsEdit

Consider the eigenvalues ${\displaystyle \lambda _{n}}$  and the corresponding eigenfunctions ${\displaystyle \phi _{n}}$  of the differential operator ${\displaystyle {\mathcal {L}}}$ , that is ${\displaystyle {\mathcal {L}}\phi _{n}=\lambda _{n}\phi _{n}}$

Without loss of generality, we assume that these eigenfunctions are orthogonal. Further, we assume that they form a basis.

Thus, we can write ${\displaystyle u(x)=\sum _{i=1}^{n}\alpha _{i}\phi _{i}}$  and ${\displaystyle F(x)=\sum _{i=1}^{n}\beta _{i}\phi _{i}}$ .

Now ${\displaystyle {\mathcal {L}}u(x)={\mathcal {L}}\sum _{i=1}^{n}\alpha _{i}\phi _{i}=\sum _{i=1}^{n}\alpha _{i}{\mathcal {L}}\phi _{i}=\sum _{i=1}^{n}\alpha _{i}\lambda _{i}\phi _{i}=\sum _{i=1}^{n}\beta _{i}\phi _{i}=F(x)}$  and hence, ${\displaystyle \alpha _{i}={\frac {\beta _{i}}{\lambda _{i}}}}$

by definition of orthogonality, ${\displaystyle \beta _{n}=\int _{-\infty }^{\infty }F(x)\phi _{n}(x)dx=(F(x)\cdot \phi _{n}(x))}$

Now, ${\displaystyle u(x)=\sum _{i=1}^{n}\alpha _{i}\phi _{i}(x)=\sum _{i=1}^{n}{\frac {\beta _{i}}{\lambda _{i}}}\phi _{i}(x)=\sum _{i=1}^{n}{\frac {(F(x')\cdot \phi _{i}(x'))}{\lambda _{i}}}\phi _{i}}$

and hence, we can write the Green's function as ${\displaystyle G(x,x')=\sum _{i=1}^{n}{\frac {\phi _{i}(x)\phi _{i}(x')}{\lambda _{i}}}}$