MarketFundamental solution
Company Profile

Fundamental solution

In mathematics, a fundamental solution for a linear partial differential operator L is a formulation in the language of distribution theory of the older idea of a Green's function.

Example
Consider the following differential equation with L = \frac{d^2}{d x^2} . The fundamental solutions can be obtained by solving , explicitly, \frac{d^2}{d x^2} F(x) = \delta(x) \,. Since for the unit step function (also known as the Heaviside function) we have \frac{d}{d x} H(x) = \delta(x) \,, there is a solution \frac{d}{d x} F(x) = H(x) + C \,. Here is an arbitrary constant introduced by the integration. For convenience, set . After integrating \frac{dF}{dx} and choosing the new integration constant as zero, one has F(x) = x H(x) - \frac{1}{2}x = \frac{1}{2} |x| ~. ==Motivation==
Motivation
Once the fundamental solution is found, it is straightforward to find a solution of the original equation, through convolution of the fundamental solution and the desired right hand side. Fundamental solutions also play an important role in the numerical solution of partial differential equations by the boundary element method. Application to the example Consider the operator and the differential equation mentioned in the example, \frac{d^2}{d x^2} f(x) = \sin(x) \,. We can find the solution f(x) of the original equation by convolution (denoted by an asterisk) of the right-hand side \sin(x) with the fundamental solution F(x) = \frac{1}{2}|x|: f(x) = (F * \sin)(x) := \int_{-\infty}^{\infty} \frac{1}{2}|x - y|\sin(y) \, dy \,. This shows that some care must be taken when working with functions which do not have enough regularity (e.g. compact support, L1 integrability) since, we know that the desired solution is , while the above integral diverges for all . The two expressions for are, however, equal as distributions. An example that more clearly works \frac{d^2}{d x^2} f(x) = I(x) \,, where is the characteristic (indicator) function of the unit interval . In that case, it can be verified that the convolution of with is (I * F)(x) = \begin{cases} \frac{1}{2}x^2-\frac{1}{2}x+\frac{1}{4}, & 0 \le x \le 1 \\ |\frac{1}{2}x-\frac{1}{4}|, & \text{otherwise} \end{cases} which is a solution, i.e., has second derivative equal to . Proof that the convolution is a solution Denote the convolution of functions and as . Say we are trying to find the solution of . We want to prove that is a solution of the previous equation, i.e. we want to prove that . When applying the differential operator with constant coefficients, , to the convolution, it is known that L(F*g) = (LF)*g \,, provided has constant coefficients. If is the fundamental solution, the right side of the equation reduces to \delta * g~. But since the delta function is an identity element for convolution, this is simply . Summing up, L(F*g) = (LF)*g = \delta(x)*g(x) = \int_{-\infty}^{\infty} \delta (x-y) g(y) \, dy = g(x) \,. Therefore, if is the fundamental solution, the convolution is one solution of . This does not mean that it is the only solution. Several solutions for different initial conditions can be found. ==Fundamental solutions for some partial differential equations==
Fundamental solutions for some partial differential equations
The following can be obtained by means of Fourier transform: Laplace equation For the Laplace equation, [-\Delta] \Phi(\mathbf{x},\mathbf{x}') = \delta(\mathbf{x}-\mathbf{x}') the fundamental solutions in two and three dimensions, respectively, are \Phi_\textrm{2D}(\mathbf{x},\mathbf{x}') = -\frac{1}{2\pi}\ln|\mathbf{x}-\mathbf{x}'|,\qquad \Phi_\textrm{3D}(\mathbf{x},\mathbf{x}') = \frac{1}{4\pi|\mathbf{x}-\mathbf{x}'|} ~. Screened Poisson equation For the screened Poisson equation, [-\Delta+k^2] \Phi(\mathbf{x},\mathbf{x}') = \delta(\mathbf{x}-\mathbf{x}'), \quad k \in \R, the fundamental solutions are \Phi_\textrm{2D}(\mathbf{x},\mathbf{x}') = \frac{1}{2\pi}K_0(k|\mathbf{x}-\mathbf{x}'|),\qquad \Phi_\textrm{3D}(\mathbf{x},\mathbf{x}') = \frac{\exp(-k|\mathbf{x}-\mathbf{x}'|)}{4\pi|\mathbf{x}-\mathbf{x}'|}, where K_0 is a modified Bessel function of the second kind. In higher dimensions the fundamental solution of the screened Poisson equation is given by the Bessel potential. Biharmonic equation For the Biharmonic equation, [-\Delta^2] \Phi(\mathbf{x},\mathbf{x}') = \delta(\mathbf{x}-\mathbf{x}') the biharmonic equation has the fundamental solutions \Phi_\textrm{2D}(\mathbf{x},\mathbf{x}') = -\frac{8\pi} ~. ==Signal processing==
Signal processing
In signal processing, the analog of the fundamental solution of a differential equation is called the impulse response of a filter. ==See also==
tickerdossier.comtickerdossier.substack.com