https://web.ma.utexas.edu/mediawiki/index.php?action=history&feed=atom&title=Bernstein_function
Bernstein function - Revision history
2024-03-28T14:38:16Z
Revision history for this page on the wiki
MediaWiki 1.40.1
https://web.ma.utexas.edu/mediawiki/index.php?title=Bernstein_function&diff=1256&oldid=prev
imported>Mateusz: added "Examples" and "Properties"
2012-07-20T11:56:33Z
<p>added "Examples" and "Properties"</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 06:56, 20 July 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Line 8:</td>
<td colspan="2" class="diff-lineno">Line 8:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>\[ f(z) = a z + b + \int_{(0, \infty)} (1 - e^{-t z}) \mu(\mathrm d t) \]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>\[ f(z) = a z + b + \int_{(0, \infty)} (1 - e^{-t z}) \mu(\mathrm d t) \]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>for some $a, b \ge 0$ and a Radon measure $\mu$ such that $\int_{(0, \infty)} \min(1, t) \mu(\mathrm d t) < \infty$.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>for some $a, b \ge 0$ and a Radon measure $\mu$ such that $\int_{(0, \infty)} \min(1, t) \mu(\mathrm d t) < \infty$.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">==Examples==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The following functions are Bernstein functions of $z$:</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* $z^s$ for $s \in [0, 1]$,</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* $\log(1 + z)$,</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* $\frac{z}{r + z}$ for $r > 0$,</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* $1 - e^{-t z}$ for $t > 0$.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">All but the last one are in fact [[complete Bernstein function]]s.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">==Properties==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">If $f_1, f_2$ are Bernstein functions and $c > 0$, then $c f_1$, $f_1 + f_2$ and $f_1 \circ f_2$ are Bernstein functions.</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Subordination==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Subordination==</div></td></tr>
</table>
imported>Mateusz
https://web.ma.utexas.edu/mediawiki/index.php?title=Bernstein_function&diff=1255&oldid=prev
imported>Mateusz: typos
2012-07-19T10:41:35Z
<p>typos</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 05:41, 19 July 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>A function $f : [0, \infty) \to [0, \infty)$ is said to be a Bernstein function if $(-1)^k f^{(k)}(x) \le 0$ for $x > 0$ and $k = 1, 2, ...$<del style="font-weight: bold; text-decoration: none;">.</del><ref name="SSV"/></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>A <ins style="font-weight: bold; text-decoration: none;">continuous </ins>function $f : [0, \infty) \to [0, \infty)$ is said to be a Bernstein function if $(-1)^k f^{(k)}(x) \le 0$ for $x > 0$ and $k = 1, 2, ...$<ref name="SSV"/></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Relation to complete monotonicity==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Relation to complete monotonicity==</div></td></tr>
</table>
imported>Mateusz
https://web.ma.utexas.edu/mediawiki/index.php?title=Bernstein_function&diff=1254&oldid=prev
imported>Mateusz: Created page with "A function $f : [0, \infty) \to [0, \infty)$ is said to be a Bernstein function if $(-1)^k f^{(k)}(x) \le 0$ for $x > 0$ and $k = 1, 2, ...$.<ref name="SSV"/> ==Relation to comp..."
2012-07-19T10:30:33Z
<p>Created page with "A function $f : [0, \infty) \to [0, \infty)$ is said to be a Bernstein function if $(-1)^k f^{(k)}(x) \le 0$ for $x > 0$ and $k = 1, 2, ...$.<ref name="SSV"/> ==Relation to comp..."</p>
<p><b>New page</b></p><div>A function $f : [0, \infty) \to [0, \infty)$ is said to be a Bernstein function if $(-1)^k f^{(k)}(x) \le 0$ for $x > 0$ and $k = 1, 2, ...$.<ref name="SSV"/><br />
<br />
==Relation to complete monotonicity==<br />
Clearly, $f$ is a Bernstein function if and only if it is nonnegative, and $f'$ is a [[completely monotone function]].<br />
<br />
==Representation==<br />
By Bernstein's theorem, $f$ is a Bernstein function if and only if:<br />
\[ f(z) = a z + b + \int_{(0, \infty)} (1 - e^{-t z}) \mu(\mathrm d t) \]<br />
for some $a, b \ge 0$ and a Radon measure $\mu$ such that $\int_{(0, \infty)} \min(1, t) \mu(\mathrm d t) < \infty$.<br />
<br />
==Subordination==<br />
Bernstein functions are closely related to Bochner's [[subordination]] of semigroups. Namely, for a nonnegative definite self-adjoint operator $L$ and a Bernstein function $f$, the operator $-f(L)$ (defined by means of spectral theory) is the generator of some semigroup of operators which is subordinate to the semigroup $e^{-t L}$ generated by $-L$. Conversely, every generator of a semigroup subordinate to $e^{-t L}$ is equal to $-f(L)$ for some Bernstein function $f$.<br />
<br />
==Bernstein functions of the Laplacian==<br />
Bernstein functions of the Laplacian are translation invariant non-local operators in $\R^n$. More precisely, $A = f(-\Delta)$ for a Bernstein function $f$ if and only if<br />
\[ -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 \]<br />
for some $a, b \ge 0$ and $k(z)$ of the form<br />
\begin{align*}<br />
k(z) &= \int_0^\infty (4 \pi t)^{-n/2} e^{-|z|^2 / (4 t)} \mu(\mathrm d t) .<br />
\end{align*}<br />
<br />
==References==<br />
{{reflist|refs=<br />
<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><br />
}}<br />
<br />
{{stub}}</div>
imported>Mateusz