Harnack inequality and Dirichlet form: Difference between pages
imported>Luis |
imported>Nestor No edit summary |
||
Line 4: | Line 4: | ||
$$ | $$ | ||
A Dirichlet form in $\mathbb{R}^n$ is a bilinear function | |||
\begin{equation*} | |||
\mathcal{E}: D\times D \to \mathbb{R} | |||
\end{equation*} | |||
with the following properties | |||
1) The domain $D$ is a dense subset of $\mathbb{R}^n$ | |||
2) $\mathcal{E}$ is symmetric, that is $\mathcal{E}(u,v)=\mathcal{E}(v,u)$ for any $u,v \in D$. | |||
3) $\mathcal{E}(u,u) \geq 0$ for any $u \in D$. | |||
= | 4) The set $D$ equipped with the inner product defined by $(u,v)_{\mathcal{E}} := (u,v)_{L^2(\mathbb{R}^n)} + \mathcal{E}(u,v)$ is a real Hilbert space. | ||
5) For any $u \in D$ we have that $u_* = (u\vee 0) \wedge 1 \in D$ and $\mathcal{E}(u_*,u_*)\leq \mathcal{E}(u,u)$ | |||
\ | |||
= | An example of a Dirichlet form is given by any integral of the form | ||
\begin{equation*} | |||
\mathcal{E}(u,v) = \iint_{\R^n \times \R^n} (u(y)-u(x))(v(y)-v(x))k(x,y)\, \dd x \dd y | |||
\end{equation*} | |||
where $K$ is some non-negative symmetric kernel. | |||
If the kernel $K$ satisfies the bound $K(x,y) \leq \Lambda |x-y|^{-n-s}$, then the quadratic form is bounded in $\dot H^{s/2}$ . If moreover, $\lambda |x-y|^{-n-s} \leq K(x,y)$, then the form is comparable to the norm in $\dot H^{s/2}$ squared and in that case the set $D \subset L^2(\mathbb{R}^n)$ defined above is given by $H^{s/2}(\mathbb{R}^n)$ | |||
Dirichlet forms are natural generalizations of the Dirichlet integrals | |||
\[ | \[ \int a_{ij}(x) \partial_i u \partial_j u \dd x, \] | ||
where $a_{ij}$ is elliptic. | |||
The Euler-Lagrange equation of a Dirichlet form is a fractional order version of elliptic equations in divergence form. They are studied using variational methods and they are expected to satisfy similar properties <ref name="BBCK"/><ref name="K"/><ref name="CCV"/>. | |||
== References == | == References == | ||
(There should be a lot more references here) | |||
{{reflist|refs= | {{reflist|refs= | ||
<ref name=" | <ref name="CCV">{{Citation | last1=Caffarelli | first1=Luis | last2=Chan | first2=Chi Hin | last3=Vasseur | first3=Alexis | title= | doi=10.1090/S0894-0347-2011-00698-X | year=2011 | journal=[[Journal of the American Mathematical Society]] | issn=0894-0347 | issue=24 | pages=849–869}}</ref> | ||
<ref name="BBCK">{{Citation | last1=Barlow | first1=Martin T. | last2=Bass | first2=Richard F. | last3=Chen | first3=Zhen-Qing | last4=Kassmann | first4=Moritz | title=Non-local Dirichlet forms and symmetric jump processes | url=http://dx.doi.org/10.1090/S0002-9947-08-04544-3 | doi=10.1090/S0002-9947-08-04544-3 | year=2009 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=361 | issue=4 | pages=1963–1999}}</ref> | <ref name="BBCK">{{Citation | last1=Barlow | first1=Martin T. | last2=Bass | first2=Richard F. | last3=Chen | first3=Zhen-Qing | last4=Kassmann | first4=Moritz | title=Non-local Dirichlet forms and symmetric jump processes | url=http://dx.doi.org/10.1090/S0002-9947-08-04544-3 | doi=10.1090/S0002-9947-08-04544-3 | year=2009 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=361 | issue=4 | pages=1963–1999}}</ref> | ||
<ref name="K">{{Citation | last1=Kassmann | first1=Moritz | title=A priori estimates for integro-differential operators with measurable kernels | url=http://dx.doi.org/10.1007/s00526-008-0173-6 | doi=10.1007/s00526-008-0173-6 | year=2009 | journal=Calculus of Variations and Partial Differential Equations | issn=0944-2669 | volume=34 | issue=1 | pages=1–21}}</ref> | <ref name="K">{{Citation | last1=Kassmann | first1=Moritz | title=A priori estimates for integro-differential operators with measurable kernels | url=http://dx.doi.org/10.1007/s00526-008-0173-6 | doi=10.1007/s00526-008-0173-6 | year=2009 | journal=Calculus of Variations and Partial Differential Equations | issn=0944-2669 | volume=34 | issue=1 | pages=1–21}}</ref> | ||
}} | }} | ||
{{stub}} |
Revision as of 16:58, 18 November 2012
$$ \newcommand{\dd}{\mathrm{d}} \newcommand{\R}{\mathbb{R}} $$
A Dirichlet form in $\mathbb{R}^n$ is a bilinear function
\begin{equation*} \mathcal{E}: D\times D \to \mathbb{R} \end{equation*}
with the following properties
1) The domain $D$ is a dense subset of $\mathbb{R}^n$
2) $\mathcal{E}$ is symmetric, that is $\mathcal{E}(u,v)=\mathcal{E}(v,u)$ for any $u,v \in D$.
3) $\mathcal{E}(u,u) \geq 0$ for any $u \in D$.
4) The set $D$ equipped with the inner product defined by $(u,v)_{\mathcal{E}} := (u,v)_{L^2(\mathbb{R}^n)} + \mathcal{E}(u,v)$ is a real Hilbert space.
5) For any $u \in D$ we have that $u_* = (u\vee 0) \wedge 1 \in D$ and $\mathcal{E}(u_*,u_*)\leq \mathcal{E}(u,u)$
An example of a Dirichlet form is given by any integral of the form
\begin{equation*}
\mathcal{E}(u,v) = \iint_{\R^n \times \R^n} (u(y)-u(x))(v(y)-v(x))k(x,y)\, \dd x \dd y
\end{equation*}
where $K$ is some non-negative symmetric kernel.
If the kernel $K$ satisfies the bound $K(x,y) \leq \Lambda |x-y|^{-n-s}$, then the quadratic form is bounded in $\dot H^{s/2}$ . If moreover, $\lambda |x-y|^{-n-s} \leq K(x,y)$, then the form is comparable to the norm in $\dot H^{s/2}$ squared and in that case the set $D \subset L^2(\mathbb{R}^n)$ defined above is given by $H^{s/2}(\mathbb{R}^n)$
Dirichlet forms are natural generalizations of the Dirichlet integrals \[ \int a_{ij}(x) \partial_i u \partial_j u \dd x, \] where $a_{ij}$ is elliptic.
The Euler-Lagrange equation of a Dirichlet form is a fractional order version of elliptic equations in divergence form. They are studied using variational methods and they are expected to satisfy similar properties [1][2][3].
References
(There should be a lot more references here)
- ↑ Barlow, Martin T.; Bass, Richard F.; Chen, Zhen-Qing; Kassmann, Moritz (2009), "Non-local Dirichlet forms and symmetric jump processes", Transactions of the American Mathematical Society 361 (4): 1963–1999, doi:10.1090/S0002-9947-08-04544-3, ISSN 0002-9947, http://dx.doi.org/10.1090/S0002-9947-08-04544-3
- ↑ Kassmann, Moritz (2009), "A priori estimates for integro-differential operators with measurable kernels", Calculus of Variations and Partial Differential Equations 34 (1): 1–21, doi:10.1007/s00526-008-0173-6, ISSN 0944-2669, http://dx.doi.org/10.1007/s00526-008-0173-6
- ↑ Caffarelli, Luis; Chan, Chi Hin; Vasseur, Alexis (2011), Journal of the American Mathematical Society (24): 849–869, doi:10.1090/S0894-0347-2011-00698-X, ISSN 0894-0347
This article is a stub. You can help this nonlocal wiki by expanding it.