Operator monotone function and Fully nonlinear elliptic equations: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Mateusz
m (typo)
 
imported>Luis
No edit summary
 
Line 1: Line 1:
A function $f : [0, \infty) \to [0, \infty)$ is said to be an operator monotone function (complete Bernstein function, Nevanlinna-Pick function for the half-line) if $A \ge B \ge 0$ implies $f(A) \ge f(B) \ge 0$ for any self-adjoint matrices $A$, $B$. Many equivalent definitions can be given.<ref name="SSV"/>
A fully nonlinear elliptic equation is an expression of the form
\[ F(D^2u, \nabla u, u, x) = 0 \text{ in } \Omega.\]


==Representation==
The function $F$ is supposed to satisfy the following two basic assumptions
A function $f$ is operator monotone if and only if
* If $A \geq B$, $F(A,p,u,x) \geq F(B,p,u,x)$ for any values of $p \in \R^n$, $u\in \R$ and $x \in \Omega$.
\[ f(z) = a z + b + \int_{(0, \infty)} \frac{z}{z + r} \, \frac{\rho(\mathrm d r)}{r} \]
* If $u \geq v$, $F(A,p,u,x) \leq F(A,p,v,x)$ for any values of $A \in \R^{n \times n}$, $p \in \R^n$ and $x \in \Omega$.
for some $a, b \ge 0$ and a Radon measure $\rho$ such that $\int_{(0, \infty)} \min(r^{-1}, r^{-2}) \rho(\mathrm d r) < \infty$.
 
==Relation to Bernstein functions==
Operator monotone functions form a subclass of [[Bernstein function]]s. Namely, a Bernstein function $f$ is an operator monotone function if and only if the measure $\mu$ in the Bernstein representation of $f$:
\[ f(z) = a z + b + \int_{(0, \infty)} (1 - e^{-t z}) \mu(\mathrm d t) \]
has a [[completely monotone function|completely monotone]] density function. In this case
\[ \mu(\mathrm d t) = \left( \int_{(0, \infty)} e^{-t r} \rho(\mathrm d r) \right) \mathrm d t \]
This explains the name complete Bernstein functions.
 
==Holomorphic extension==
Every operator monotone function $f$ extends to a holomorphic function on $\C \setminus (-\infty, 0]$ such that
\begin{align*}
\Im f(z) & \ge 0 \qquad && \text{if } \Im z \ge 0 , \\
f(z) & \ge 0 \qquad && \text{if } \Im z = 0 , \\
\Im f(z) & \le 0 \qquad && \text{if } \Im z \le 0 .
\end{align*}
Conversely, any function $f$ with above properties is an operator monotone function.
 
Functions with nonnegative imaginary part in the upper half-plane are often called Nevanlinna-Pick functions, or Pick functions.
 
==Operator monotone functions of the Laplacian==
Operator monotone functions of the Laplacian are particularly regular examples of translation invariant non-local operators in $\R^n$. More precisely, $A = f(-\Delta)$ for an operator monotone $f$ if and only if
\[ -A u(x) = a \Delta u(x) + b u(x) + \int_{\R^n} (u(x + z) - u(x) - z \cdot \nabla u(x) \mathbf{1}_{|z| < 1}) k(z) \mathrm d z \]
for some $a, b \ge 0$ and $k(z)$ of the form
\begin{align*}
k(z) &= \int_0^\infty \int_0^\infty (4 \pi t)^{-n/2} e^{-|z|^2 / (4 t)} e^{-t r} \mathrm d t \rho(\mathrm d r)
\end{align*}
 
==References==
{{reflist|refs=
<ref name="SSV">{{Citation | last1=Schilling | first1=R. | last2=Song | first2=R. | last3=Vondraček | first3=Z. | title=Bernstein functions. Theory and Applications | year=2010 | publisher=de Gruyter, Berlin | series=Studies in Mathematics | volume=37 | url=http://dx.doi.org/10.1515/9783110215311 | doi=10.1515/9783110215311}}</ref>
}}


{{stub}}
{{stub}}

Latest revision as of 16:51, 8 April 2015

A fully nonlinear elliptic equation is an expression of the form \[ F(D^2u, \nabla u, u, x) = 0 \text{ in } \Omega.\]

The function $F$ is supposed to satisfy the following two basic assumptions

  • If $A \geq B$, $F(A,p,u,x) \geq F(B,p,u,x)$ for any values of $p \in \R^n$, $u\in \R$ and $x \in \Omega$.
  • If $u \geq v$, $F(A,p,u,x) \leq F(A,p,v,x)$ for any values of $A \in \R^{n \times n}$, $p \in \R^n$ and $x \in \Omega$.

This article is a stub. You can help this nonlocal wiki by expanding it.