## You are here

HomeGreen's function

## Primary tabs

# Green’s function

# Some general preliminary considerations

Let $(\Omega,\mu)$ be a bounded measure space and $\mathcal{F}(\Omega)$ be a linear function space of bounded functions defined on $\Omega$, i.e. $\mathcal{F}(\Omega)\subset\mathcal{L}^{\infty}(\Omega)$. We would like to note two types of functionals from the dual space $(\mathcal{F}(\Omega))^{*}$, which will be used here:

1. 2. For each $x\in\Omega$, we will consider a functional $\delta_{x}\in(\mathcal{F}(\Omega))^{*}$ defined as follows:

$\delta_{x}(f)=f(x).$ (1) Since generally, we can not speak about values at the point for functions from $\mathcal{(}L)^{\infty}$, in the following, we assume some regularity for functions from considered spaces, so that (1) is correctly defined.

# Necessary notations and motivation

Let $(\Omega_{x},\mu_{x}),\,(\Omega_{y},\mu_{y})$ be some bounded measure spaces; $\mathcal{F}(\Omega_{x}),\mathcal{G}(\Omega_{y})$ be some linear function spaces. Let $A:\mathcal{F}(\Omega_{x})\rightarrow\mathcal{G}(\Omega_{y})$ be a linear operator which has a well-defined inverse $A^{{-1}}:\mathcal{G}(\Omega_{y})\rightarrow\mathcal{F}(\Omega_{x})$.

Consider an operator equation:

$Af=g$ | (2) |

where $f\in\mathcal{F}(\Omega_{x})$ is unknown and $g\in\mathcal{G}(\Omega_{y})$ is given. We are interested to have an integral representation for solution of (2). For this purpose we write:

$f(x)=\delta_{x}(f)=\delta_{x}(A^{{-1}}(g))=[\,(A^{{-1}})^{*}\delta_{x}\,](g).$ |

# Definition of Green’s function

If $\forall x\in\Omega_{x}$ the functional $(A^{{-1}})^{*}\delta_{x}$ is regular with generator $G(\cdot,y)\in\mathcal{L}^{1}(\Omega_{y})$, then $G$ is called Green’s function of operator $A$ and solution of (2) admits the following integral representation:

$f(x)=\int\limits_{{\Omega_{y}}}G(x,y)\,g(y)\,d\mu_{y}$ |

## Mathematics Subject Classification

35C15*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier