-
Local boundedness of solutions to parabolic equations associated with fractional $p$-Laplacian type operators
Authors:
Takashi Kumagai,
Jian Wang,
Meng-ge Zhang
Abstract:
In this paper, we study the local boundedness of local weak solutions to the following parabolic equation associated with fractional $p$-Laplacian type operators $$ \partial_t u(t,x)-\text{p.v.}\int_{\R^d}|u(t,y)-u(t,x)|^{p-2}(u(t,y)-u(t,x))J(t;x,y)\,dy=0,\quad (t,x)\in \R\times \R^d, $$ where $\text{p.v.}$ means the integral in the principal value sense, $p\in(1,\infty)$ and $J(t;x,y)$ is compara…
▽ More
In this paper, we study the local boundedness of local weak solutions to the following parabolic equation associated with fractional $p$-Laplacian type operators $$ \partial_t u(t,x)-\text{p.v.}\int_{\R^d}|u(t,y)-u(t,x)|^{p-2}(u(t,y)-u(t,x))J(t;x,y)\,dy=0,\quad (t,x)\in \R\times \R^d, $$ where $\text{p.v.}$ means the integral in the principal value sense, $p\in(1,\infty)$ and $J(t;x,y)$ is comparable to the kernel of the fractional $p$-Laplacian operator $|x-y|^{-d-sp}$ with $s\in(0,1)$ and uniformly in $(t;x,y)\in\R\times\R^d\times\R^d$. Unlike existing results in the literature, the local boundedness of the solutions obtained in this paper extends the known results for the linear case (i.e., the case that $p=2$), in particular with a nonlocal parabolic tail that uses the $L^1$-norm in time for all $p\in (1,\infty)$. The proof is based on a new level set truncation in the De Giorgi-Nash-Moser iteration and a careful choice of iteration orders, as well as a general Caccioppoli-type inequality that is efficiently applied to fractional $p$-Laplacian type operators with all $p>1$.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Quantitative periodic homogenization for symmetric non-local stable-like operators
Authors:
Xin Chen,
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
Homogenization for non-local operators in periodic environments has been studied intensively. So far, these works are mainly devoted to the qualitative results, that is, to determine explicitly the operators in the limit. To the best of authors' knowledge, there is no result concerning the convergence rates of the homogenization for stable-like operators in periodic environments. In this paper, we…
▽ More
Homogenization for non-local operators in periodic environments has been studied intensively. So far, these works are mainly devoted to the qualitative results, that is, to determine explicitly the operators in the limit. To the best of authors' knowledge, there is no result concerning the convergence rates of the homogenization for stable-like operators in periodic environments. In this paper, we establish a quantitative homogenization result for symmetric $α$-stable-like operators on $\R^d$ with periodic coefficients. In particular, we show that the convergence rate for the solutions of associated Dirichlet problems on a bounded domain $D$ is of order $$ \varepsilon^{(2-α)/2}\I_{\{α\in (1,2)\}}+\varepsilon^{α/2}\I_{\{α\in (0,1)\}}+\varepsilon^{1/2}|\log \e|^2\I_{\{α=1\}}, $$ while, when the solution to the equation in the limit is in $C^2_c(D)$, the convergence rate becomes
$$ \varepsilon^{2-α}\I_{\{α\in (1,2)\}}+\varepsilon^α\I_{\{α\in (0,1)\}}+\varepsilon |\log \e|^2\I_{\{α=1\}}. $$ This indicates that the boundary decay behaviors of the solution to the equation in the limit affects the convergence rate in the homogenization.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Finite dimensionality of Besov spaces and potential-theoretic decomposition of metric spaces
Authors:
Takashi Kumagai,
Nageswari Shanmugalingam,
Ryosuke Shimizu
Abstract:
In the context of a metric measure space $(X,d,μ)$, we explore the potential-theoretic implications of having a finite-dimensional Besov space. We prove that if the dimension of the Besov space $B^θ_{p,p}(X)$ is $k>1$, then $X$ can be decomposed into $k$ number of irreducible components (Theorem 1.1). Note that $θ$ may be bigger than $1$, as our framework includes fractals. We also provide suffici…
▽ More
In the context of a metric measure space $(X,d,μ)$, we explore the potential-theoretic implications of having a finite-dimensional Besov space. We prove that if the dimension of the Besov space $B^θ_{p,p}(X)$ is $k>1$, then $X$ can be decomposed into $k$ number of irreducible components (Theorem 1.1). Note that $θ$ may be bigger than $1$, as our framework includes fractals. We also provide sufficient conditions under which the dimension of the Besov space is $1$. We introduce critical exponents $θ_p(X)$ and $θ_p^{\ast}(X)$ for the Besov spaces. As examples illustrating Theorem 1.1, we compute these critical exponents for spaces $X$ formed by glueing copies of $n$-dimensional cubes, the Sierpiński gaskets, and of the Sierpiński carpet.
△ Less
Submitted 24 June, 2025; v1 submitted 2 September, 2024;
originally announced September 2024.
-
The multiplicity of cyclic coverings of a singularity of an algebraic variety
Authors:
Toya Kumagai,
Tomohiro Okuma
Abstract:
Let $V$ be an affine algebraic variety, and let $p\in V$ be a singular point. For a regular function $g$ on $V$ such that $g(p)=0$ and for a positive integer $n$, we consider the cyclic covering $φ_n\: V_n \to V$ of degree $n$ branched along the hypersurface defined by $g$. We will prove that for sufficiently large $n$, the tangent cone of $V_n$ at $φ_n^{-1}(p)$ is, as an affine variety, the produ…
▽ More
Let $V$ be an affine algebraic variety, and let $p\in V$ be a singular point. For a regular function $g$ on $V$ such that $g(p)=0$ and for a positive integer $n$, we consider the cyclic covering $φ_n\: V_n \to V$ of degree $n$ branched along the hypersurface defined by $g$. We will prove that for sufficiently large $n$, the tangent cone of $V_n$ at $φ_n^{-1}(p)$ is, as an affine variety, the product of the tangent cone of the branch locus and the affine line. In particular, the multiplicity of the singularity $φ_n^{-1}(p) \in V_n$, which is a function of $n$ determined by $V$ and $g$, remains constant for sufficiently large $n$. This result generalizes Tomaru's theorem for normal surface singularities.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Quenched local limit theorem for random conductance models with long-range jumps
Authors:
Xin Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We establish the quenched local limit theorem for reversible random walk on $\Z^d$ (with $d\ge 2$) among stationary ergodic random conductances that permit jumps of arbitrary length. The proof is based on the weak parabolic Harnack inequalities and on-diagonal heat-kernel estimates for long-range random walks on general ergodic environments. In particular, this partly solves \cite[Open Problem 2.7…
▽ More
We establish the quenched local limit theorem for reversible random walk on $\Z^d$ (with $d\ge 2$) among stationary ergodic random conductances that permit jumps of arbitrary length. The proof is based on the weak parabolic Harnack inequalities and on-diagonal heat-kernel estimates for long-range random walks on general ergodic environments. In particular, this partly solves \cite[Open Problem 2.7]{BCKW}, where the quenched invariance principle was obtained. As a byproduct, we prove the maximal inequality with an extra tail term for long-range reversible random walks, which in turn yields the everywhere sublinear property for the associated corrector.
△ Less
Submitted 9 April, 2024; v1 submitted 11 February, 2024;
originally announced February 2024.
-
Heat kernel fluctuations and quantitative homogenization for the one-dimensional Bouchaud trap model
Authors:
Sebastian Andres,
David A. Croydon,
Takashi Kumagai
Abstract:
We present on-diagonal heat kernel estimates and quantitative homogenization statements for the one-dimensional Bouchaud trap model. The heat kernel estimates are obtained using standard techniques, with key inputs coming from a careful analysis of the volume growth of the invariant measure of the process under study. As for the quantitative homogenization results, these include both quenched and…
▽ More
We present on-diagonal heat kernel estimates and quantitative homogenization statements for the one-dimensional Bouchaud trap model. The heat kernel estimates are obtained using standard techniques, with key inputs coming from a careful analysis of the volume growth of the invariant measure of the process under study. As for the quantitative homogenization results, these include both quenched and annealed Berry-Esseen-type theorems, as well as a quantitative quenched local limit theorem. Whilst the model we study here is a particularly simple example of a random walk in a random environment, we believe the roadmap we provide for establishing the latter result in particular will be useful for deriving quantitative local limit theorems in other, more challenging, settings.
△ Less
Submitted 8 March, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Heat kernel fluctuations for stochastic processes on fractals and random media
Authors:
Sebastian Andres,
David Croydon,
Takashi Kumagai
Abstract:
It is well-known that stochastic processes on fractal spaces or in certain random media exhibit anomalous heat kernel behaviour. One manifestation of such irregular behaviour is the presence of fluctuations in the short- or long-time asymptotics of the on-diagonal heat kernel. In this note we review some examples for which such fluctuations are known to occur, including Brownian motion on certain…
▽ More
It is well-known that stochastic processes on fractal spaces or in certain random media exhibit anomalous heat kernel behaviour. One manifestation of such irregular behaviour is the presence of fluctuations in the short- or long-time asymptotics of the on-diagonal heat kernel. In this note we review some examples for which such fluctuations are known to occur, including Brownian motion on certain deterministic or random fractals, and simple random walks on various examples of random graph trees, such as the incipient infinite cluster of critical percolation on a regular tree and low-dimensional uniform spanning trees. We also announce some new results that add the one-dimensional Bouchaud trap model to this class of examples.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Gradient estimates of the heat kernel for random walks among time-dependent random conductances
Authors:
Jean-Dominique Deuschel,
Takashi Kumagai,
Martin Slowik
Abstract:
In this paper we consider a time-continuous random walk in $\mathbb{Z}^d$ in a dynamical random environment with symmetric jump rates to nearest neighbours. We assume that these random conductances are stationary and ergodic and, moreover, that they are bounded from below but unbounded from above with finite first moment. We derive sharp on-diagonal estimates for the annealed first and second disc…
▽ More
In this paper we consider a time-continuous random walk in $\mathbb{Z}^d$ in a dynamical random environment with symmetric jump rates to nearest neighbours. We assume that these random conductances are stationary and ergodic and, moreover, that they are bounded from below but unbounded from above with finite first moment. We derive sharp on-diagonal estimates for the annealed first and second discrete space derivative of the heat kernel which then yield local limit theorems for the corresponding kernels. Assuming weak algebraic off-diagonal estimates, we then extend these results to the annealed Green function and its first and second derivative. Our proof which extends the result of Delmotte and Deuschel (2005) to unbounded conductances with first moment only, is an adaptation of the recent entropy method of Benjamini et. al. (2015).
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
On Kigami's conjecture of the embedding $\mathcal{W}^p(K)\subset C(K)$
Authors:
Shiping Cao,
Zhen-Qing Chen,
Takashi Kumagai
Abstract:
Let $(K,d)$ be a connected compact metric space and $p\in (1, \infty)$. Under the assumption of \cite[Assumption 2.15]{Ki2} and the conductive $p$-homogeneity, we show that $\mathcal{W}^p(K)\subset C(K)$ holds if and only if $p>\operatorname{dim}_{AR}(K,d)$, where $\mathcal{W}^p(K)$ is Kigami's $(1,p)$-Sobolev space and $\operatorname{dim}_{AR}(K,d)$ is the Ahlfors regular dimension.
Let $(K,d)$ be a connected compact metric space and $p\in (1, \infty)$. Under the assumption of \cite[Assumption 2.15]{Ki2} and the conductive $p$-homogeneity, we show that $\mathcal{W}^p(K)\subset C(K)$ holds if and only if $p>\operatorname{dim}_{AR}(K,d)$, where $\mathcal{W}^p(K)$ is Kigami's $(1,p)$-Sobolev space and $\operatorname{dim}_{AR}(K,d)$ is the Ahlfors regular dimension.
△ Less
Submitted 4 January, 2024; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Quantitative stochastic homogenization for random conductance models with stable-like jumps
Authors:
Xin Chen,
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We consider random conductance models with long range jumps on $\Z^d$, where the one-step transition probability from $x$ to $y$ is proportional to $w_{x,y}|x-y|^{-d-α}$ with $α\in (0,2)$. Assume that $\{w_{x,y}\}_{(x,y)\in E}$ are independent, identically distributed and uniformly bounded non-negative random variables with $\Ee w_{x,y}=1$, where $E$ is the set of all unordered pairs on $\Z^d$. We…
▽ More
We consider random conductance models with long range jumps on $\Z^d$, where the one-step transition probability from $x$ to $y$ is proportional to $w_{x,y}|x-y|^{-d-α}$ with $α\in (0,2)$. Assume that $\{w_{x,y}\}_{(x,y)\in E}$ are independent, identically distributed and uniformly bounded non-negative random variables with $\Ee w_{x,y}=1$, where $E$ is the set of all unordered pairs on $\Z^d$. We obtain a quantitative version of stochastic homogenization for these random walks, with explicit polynomial rates up to logarithmic corrections.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Limit theorems for some long range random walks on torsion free nilpotent groups
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Laurent Saloff-Coste,
Jian Wang,
Tianyi Zheng
Abstract:
We consider a natural class of long range random walks on torsion free nilpotent groups and develop limit theorems for these walks. Given the original discrete group $Γ$ and a random walk $(S_n)_ {n\ge1}$ driven by a certain type of symmetric probability measure $μ$, we construct a homogeneous nilpotent Lie group $G_\bullet(Γ,μ)$ which carries an adapted dilation structure and a stable-like proces…
▽ More
We consider a natural class of long range random walks on torsion free nilpotent groups and develop limit theorems for these walks. Given the original discrete group $Γ$ and a random walk $(S_n)_ {n\ge1}$ driven by a certain type of symmetric probability measure $μ$, we construct a homogeneous nilpotent Lie group $G_\bullet(Γ,μ)$ which carries an adapted dilation structure and a stable-like process $(X_t)_{ t\ge0}$ which appears in a Donsker-type functional limit theorem as the limit of a rescaled version of the random walk. Both the limit group and the limit process on that group depend on the measure $μ$. In addition, the functional limit theorem is complemented by a local limit theorem.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Spectral dimension of simple random walk on a long-range percolation cluster
Authors:
Van Hao Can,
David A. Croydon,
Takashi Kumagai
Abstract:
Consider the long-range percolation model on the integer lattice $\mathbb{Z}^d$ in which all nearest-neighbour edges are present and otherwise $x$ and $y$ are connected with probability $q_{x,y}:=1-\exp(-|x-y|^{-s})$, independently of the state of other edges. Throughout the regime where the model yields a locally-finite graph, (i.e.\ for $s>d$,) we determine the spectral dimension of the associat…
▽ More
Consider the long-range percolation model on the integer lattice $\mathbb{Z}^d$ in which all nearest-neighbour edges are present and otherwise $x$ and $y$ are connected with probability $q_{x,y}:=1-\exp(-|x-y|^{-s})$, independently of the state of other edges. Throughout the regime where the model yields a locally-finite graph, (i.e.\ for $s>d$,) we determine the spectral dimension of the associated simple random walk, apart from at the exceptional value $d=1$, $s=2$, where the spectral dimension is discontinuous. Towards this end, we present various on-diagonal heat kernel bounds, a number of which are new. In particular, the lower bounds are derived through the application of a general technique that utilises the translation invariance of the model. We highlight that, applying this general technique, we are able to partially extend our main result beyond the nearest-neighbour setting, and establish lower heat kernel bounds over the range of parameters $s\in (d,2d)$. We further note that our approach is applicable to short-range models as well.
△ Less
Submitted 7 April, 2022; v1 submitted 1 November, 2021;
originally announced November 2021.
-
Nonlinear Neumann problems for fully nonlinear elliptic PDEs on a quadrant
Authors:
Hitoshi Ishii,
Taiga Kumagai
Abstract:
We consider the nonlinear Neumann problem for fully nonlinear elliptic PDEs on a quadrant. We establish a comparison theorem for viscosity sub and supersolutions of the nonlinear Neumann problem. The crucial argument in the proof of the comparison theorem is to build a $C^{1,1}$ test function which takes care of the nonlinear Neumann boundary condition. A similar problem has been treated on a gene…
▽ More
We consider the nonlinear Neumann problem for fully nonlinear elliptic PDEs on a quadrant. We establish a comparison theorem for viscosity sub and supersolutions of the nonlinear Neumann problem. The crucial argument in the proof of the comparison theorem is to build a $C^{1,1}$ test function which takes care of the nonlinear Neumann boundary condition. A similar problem has been treated on a general $n$-dimensional orthant by Biswas, Ishii, Subhamay, and Wang [SIAM J. Control Optim. 55 (2017), pp. 365--396], where the functions ($H_i$ in the main text) describing the boundary condition are required to be positively one-homogeneous, and the result in this paper removes the positive homogeneity in two-dimension. An existence result for solutions is also presented.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
Quenched and averaged tails of the heat kernel of the two-dimensional uniform spanning tree
Authors:
Martin T. Barlow,
David A. Croydon,
Takashi Kumagai
Abstract:
This article investigates the heat kernel of the two-dimensional uniform spanning tree. We improve previous work by demonstrating the occurrence of log-logarithmic fluctuations around the leading order polynomial behaviour for the on-diagonal part of the quenched heat kernel. In addition we give two-sided estimates for the averaged heat kernel, and we show that the exponents that appear in the off…
▽ More
This article investigates the heat kernel of the two-dimensional uniform spanning tree. We improve previous work by demonstrating the occurrence of log-logarithmic fluctuations around the leading order polynomial behaviour for the on-diagonal part of the quenched heat kernel. In addition we give two-sided estimates for the averaged heat kernel, and we show that the exponents that appear in the off-diagonal parts of the quenched and averaged versions of the heat kernel differ. Finally, we derive various scaling limits for the heat kernel, the implications of which include enabling us to sharpen the known asymptotics regarding the on-diagonal part of the averaged heat kernel and the expected distance travelled by the associated simple random walk.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Heat kernels for reflected diffusions with jumps on inner uniform domains
Authors:
Zhen-Qing Chen,
Panki Kim,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we study sharp two-sided heat kernel estimates for a large class of symmetric reflected diffusions with jumps on the closure of an inner uniform domain $D$ in a length metric space. The length metric is the intrinsic metric of a strongly local Dirichlet form. When $D$ is an inner uniform domain in the Euclidean space, a prototype for a special case of the processes under considerati…
▽ More
In this paper, we study sharp two-sided heat kernel estimates for a large class of symmetric reflected diffusions with jumps on the closure of an inner uniform domain $D$ in a length metric space. The length metric is the intrinsic metric of a strongly local Dirichlet form. When $D$ is an inner uniform domain in the Euclidean space, a prototype for a special case of the processes under consideration are symmetric reflected diffusions with jumps on $D$, whose infinitesimal generators are non-local (pseudo-differential) operators $L$ on $D$ of the form
$$ L u(x) =\frac12 \sum_{i, j=1}^d \frac{\partial}{\partial x_i} \left(a_{ij}(x)
\frac{\partial u(x)}{\partial x_j}\right) + \lim_{\eps \downarrow 0} \int_{\{y\in D: \,
ρ_D(y, x)>\eps\}} (u(y)-u(x)) J(x, y)\, dy $$
satisfying "Neumann boundary condition". Here, $ρ_D(x,y)$ is the length metric on $D$, $A(x)=(a_{ij}(x))_{1\leq i,j\leq d}$ is a measurable $d\times d$ matrix-valued function on $D$ that is uniformly elliptic and bounded, and $$ J(x,y):= \frac{1}{Φ(ρ_D(x,y))} \int_{[α_1, α_2]} \frac{c(α, x,y)} {ρ_D(x,y)^{d+α}} \,ν(dα) , $$ where $ν$ is a finite measure on $[α_1, α_2] \subset (0, 2)$, $Φ$ is an increasing function on $[ 0, \infty )$ with $c_1e^{c_2r^β} \le Φ(r) \le c_3 e^{c_4r^β}$ for some $β\in [0,\infty]$, and $c(α, x, y)$ is a jointly measurable function that is bounded between two positive constants and is symmetric in $(x, y)$.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Heat kernel upper bounds for symmetric Markov semigroups
Authors:
Zhen-Qing Chen,
Panki Kim,
Takashi Kumagai,
Jian Wang
Abstract:
It is well known that Nash-type inequalities for symmetric Dirichlet forms are equivalent to on-diagonal heat kernel upper bounds for the associated symmetric Markov semigroups. In this paper, we show that both imply (and hence are equivalent to) off-diagonal heat kernel upper bounds under some mild assumptions. Our approach is based on a new generalized Davies' method. Our results extend that of…
▽ More
It is well known that Nash-type inequalities for symmetric Dirichlet forms are equivalent to on-diagonal heat kernel upper bounds for the associated symmetric Markov semigroups. In this paper, we show that both imply (and hence are equivalent to) off-diagonal heat kernel upper bounds under some mild assumptions. Our approach is based on a new generalized Davies' method. Our results extend that of \cite{CKS} for Nash-type inequalities with power order considerably and also extend that of \cite{Gri} for second order differential operators on a complete non-compact manifold.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
Quenched invariance principle for long range random walks in balanced random environments
Authors:
Xin Chen,
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We establish via a probabilistic approach the quenched invariance principle for a class of long range random walks in independent (but not necessarily identically distributed) balanced random environments, with the transition probability from $x$ to $y$ on average being comparable to $|x-y|^{-(d+α)}$ with $α\in (0,2]$. We use the martingale property to estimate exit time from balls and establish t…
▽ More
We establish via a probabilistic approach the quenched invariance principle for a class of long range random walks in independent (but not necessarily identically distributed) balanced random environments, with the transition probability from $x$ to $y$ on average being comparable to $|x-y|^{-(d+α)}$ with $α\in (0,2]$. We use the martingale property to estimate exit time from balls and establish tightness of the scaled processes, and apply the uniqueness of the martingale problem to identify the limiting process. When $α\in (0,1)$, our approach works even for non-balanced cases. When $α=2$, under a diffusive with the logarithmic perturbation scaling, we show that the limit of scaled processes is a Brownian motion.
△ Less
Submitted 25 October, 2020; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Periodic homogenization of non-symmetric Lévy-type processes
Authors:
Xin Chen,
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we study homogenization problem for strong Markov processes on $\R^d$ having infinitesimal generators
$$
\sL f(x)=\int_{\R^d}\left(f(x+z)-f(x)-\langle \nabla f(x), z\rangle \I_{\{|z|\le 1\}} \right) k(x,z)\,
Π(dz) +\langle b(x), \nabla f(x) \rangle, \quad f\in C^2_b (\R^d)
$$ in periodic media, where $Π$ is a non-negative measure on $\R^d$ that does not charge the origin…
▽ More
In this paper, we study homogenization problem for strong Markov processes on $\R^d$ having infinitesimal generators
$$
\sL f(x)=\int_{\R^d}\left(f(x+z)-f(x)-\langle \nabla f(x), z\rangle \I_{\{|z|\le 1\}} \right) k(x,z)\,
Π(dz) +\langle b(x), \nabla f(x) \rangle, \quad f\in C^2_b (\R^d)
$$ in periodic media, where $Π$ is a non-negative measure on $\R^d$ that does not charge the origin $0$, satisfies $\int_{\R^d} (1 \wedge |z|^2)\, Π(dz)<\infty$, and can be singular with respect to the Lebesgue measure on $\R^d$.
Under a proper scaling, we show the scaled processes converge weakly to Lévy processes on $\R^d$. The results are a counterpart of the celebrated work \cite{BLP,Bh} in the jump-diffusion setting. In particular, we completely characterize the homogenized limiting processes when $b(x) $ is a bounded continuous multivariate 1-periodic $\R^d$-valued function, $k(x,z)$ is a non-negative bounded continuous function that is multivariate 1-periodic in both $x$ and $z$ variables, and, in spherical coordinate $z=(r, θ) \in \R_+\times \bS^{d-1}$, $$ \I_{\{|z|>1\}}\,Π(dz) = \I_{\{ r>1\}} \varrho_0(dθ) \, \frac{ dr }{r^{1+α}} $$ with $α\in (0,\infty)$ and $\varrho_0$ being any finite measure on the unit sphere $\bS^{d-1}$ in $\R^d$. Different phenomena occur depending on the values of $α$; there are five cases:
$α\in (0, 1)$, $α=1$, $α\in (1, 2)$, $α=2$ and $α\in (2, \infty)$.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Quenched Invariance Principle for a class of random conductance models with long-range jumps
Authors:
Marek Biskup,
Xin Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We study random walks on $\mathbb Z^d$ (with $d\ge 2$) among stationary ergodic random conductances $\{C_{x,y}\colon x,y\in\mathbb Z^d\}$ that permit jumps of arbitrary length. Our focus is on the Quenched Invariance Principle (QIP) which we establish by a combination of corrector methods, functional inequalities and heat-kernel technology assuming that the $p$-th moment of…
▽ More
We study random walks on $\mathbb Z^d$ (with $d\ge 2$) among stationary ergodic random conductances $\{C_{x,y}\colon x,y\in\mathbb Z^d\}$ that permit jumps of arbitrary length. Our focus is on the Quenched Invariance Principle (QIP) which we establish by a combination of corrector methods, functional inequalities and heat-kernel technology assuming that the $p$-th moment of $\sum_{x\in\mathbb Z^d}C_{0,x}|x|^2$ and $q$-th moment of $1/C_{0,x}$ for $x$ neighboring the origin are finite for some $p,q\ge1$ with $p^{-1}+q^{-1}<2/d$. In particular, a QIP thus holds for random walks on long-range percolation graphs with connectivity exponents larger than $2d$ in all $d\ge2$, provided all the nearest-neighbor edges are present. Although still limited by moment conditions, our method of proof is novel in that it avoids proving everywhere-sublinearity of the corrector. This is relevant because we show that, for long-range percolation with exponents between $d+2$ and $2d$, the corrector exists but fails to be sublinear everywhere. Similar examples are constructed also for nearest-neighbor, ergodic conductances in $d\ge3$ under the conditions complementary to those of the recent work of P. Bella and M. Schäffner. These examples elucidate the limitations of elliptic-regularity techniques that underlie much of the recent progress on these problems.
△ Less
Submitted 15 April, 2021; v1 submitted 4 April, 2020;
originally announced April 2020.
-
Homogenization of symmetric stable-like processes in stationary ergodic medium
Authors:
Xin Chen,
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
This paper studies homogenization of symmetric non-local Dirichlet forms with $α$-stable-like jumping kernels in one-parameter stationary ergodic environment. Under suitable conditions, we establish homogenization results and identify the limiting effective Dirichlet forms explicitly. The coefficients of the jumping kernels of Dirichlet forms and symmetrizing measures are allowed to be degenerate…
▽ More
This paper studies homogenization of symmetric non-local Dirichlet forms with $α$-stable-like jumping kernels in one-parameter stationary ergodic environment. Under suitable conditions, we establish homogenization results and identify the limiting effective Dirichlet forms explicitly. The coefficients of the jumping kernels of Dirichlet forms and symmetrizing measures are allowed to be degenerate and unbounded; and the coefficients in the effective Dirichlet forms can be degenerate.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Stability of parabolic Harnack inequalities on metric measure spaces
Authors:
M. T. Barlow,
R. F. Bass,
T. Kumagai
Abstract:
Let $(X,d,μ)$ be a metric measure space with a local regular Dirichlet form. We give necessary and sufficient conditions for a parabolic Harnack inequality with global space-time scaling exponent $β\ge 2$ to hold. We show that this parabolic Harnack inequality is stable under rough isometries. As a consequence, once such a Harnack inequality is established on a metric measure space, then it holds…
▽ More
Let $(X,d,μ)$ be a metric measure space with a local regular Dirichlet form. We give necessary and sufficient conditions for a parabolic Harnack inequality with global space-time scaling exponent $β\ge 2$ to hold. We show that this parabolic Harnack inequality is stable under rough isometries. As a consequence, once such a Harnack inequality is established on a metric measure space, then it holds for any uniformly elliptic operator in divergence form on a manifold naturally defined from the graph approximation of the space.
△ Less
Submitted 22 January, 2020; v1 submitted 18 January, 2020;
originally announced January 2020.
-
Averaging of Hamilton-Jacobi equations over Hamiltonian flows
Authors:
Hitoshi Ishii,
Taiga Kumagai
Abstract:
We study the asymptotic behavior of solutions to the Dirichlet problem for Hamilton-Jacobi equations with large drift terms, where the drift terms are given by the Hamiltonian vector fields of Hamiltonian $H$. This is an attempt to understand the averaging effect for fully nonlinear degenerate elliptic equations. In this work, we restrict ourselves to the case of Hamilton-Jacobi equations. The sec…
▽ More
We study the asymptotic behavior of solutions to the Dirichlet problem for Hamilton-Jacobi equations with large drift terms, where the drift terms are given by the Hamiltonian vector fields of Hamiltonian $H$. This is an attempt to understand the averaging effect for fully nonlinear degenerate elliptic equations. In this work, we restrict ourselves to the case of Hamilton-Jacobi equations. The second author has already established averaging results for Hamilton-Jacobi equations with convex Hamiltonians ($G$ below) under the classical formulation of the Dirichlet condition. Here we treat the Dirichlet condition in the viscosity sense, and establish an averaging result for Hamilton-Jacobi equations with relatively general Hamiltonian $G$.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Glauber dynamics for Ising models on random regular graphs: cut-off and metastability
Authors:
Van Hao Can,
Remco van der Hofstad,
Takashi Kumagai
Abstract:
Consider random $d$-regular graphs, i.e., random graphs such that there are exactly $d$ edges from each vertex for some $d\ge 3$. We study both the configuration model version of this graph, which has occasional multi-edges and self-loops, as well as the simple version of it, which is a $d$-regular graph chosen uniformly at random from the collection of all $d$-regular graphs.
In this paper, we…
▽ More
Consider random $d$-regular graphs, i.e., random graphs such that there are exactly $d$ edges from each vertex for some $d\ge 3$. We study both the configuration model version of this graph, which has occasional multi-edges and self-loops, as well as the simple version of it, which is a $d$-regular graph chosen uniformly at random from the collection of all $d$-regular graphs.
In this paper, we discuss mixing times of Glauber dynamics for the Ising model with an external magnetic field on a random $d$-regular graph, both in the quenched as well as the annealed settings. Let $β$ be the inverse temperature, $β_c$ be the critical temperature and $B$ be the external magnetic field. Concerning the annealed measure, we show that for $β> β_c$ there exists $\hat{B}_c(β)\in (0,\infty)$ such that the model is metastable (i.e., the mixing time is exponential in the graph size $n$) when $β> β_c$ and $0 \leq B < \hat{B}_c(β)$, whereas it exhibits the cut-off phenomenon at $c_\star n \log n$ with a window of order $n$ when $β< β_c$ or $β> β_c$ and $B>\hat{B}_c(β)$. Interestingly, $\hat{B}_c(β)$ coincides with the critical external field of the Ising model on the $d$-ary tree (namely, above which the model has a unique Gibbs measure). Concerning the quenched measure, we show that there exists $B_c(β)$ with $B_c(β) \leq \hat{B}_c(β)$ such that for $β> β_c$, the mixing time is at least exponential along some subsequence $(n_k)_{k\geq 1}$ when $0 \leq B < B_c(β)$, whereas it is less than or equal to $Cn\log n$ when $B>\hat{B}_c(β)$. The quenched results also hold for the model conditioned on simplicity, for the annealed results this is unclear.
△ Less
Submitted 24 April, 2021; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Heat kernel bounds for nonlocal operators with singular kernels
Authors:
Moritz Kassmann,
Kyung-Youn Kim,
Takashi Kumagai
Abstract:
We prove sharp two-sided bounds of the fundamental solution for an integro-differential operator of order $α\in (0,2)$ that generates a $d$-dimensional Markov process. The corresponding Dirichlet form is comparable to that of $d$ independent copies of one-dimensional jump processes, i.e., the jumping measure is singular with respect to the $d$-dimensional Lebesgue measure.
We prove sharp two-sided bounds of the fundamental solution for an integro-differential operator of order $α\in (0,2)$ that generates a $d$-dimensional Markov process. The corresponding Dirichlet form is comparable to that of $d$ independent copies of one-dimensional jump processes, i.e., the jumping measure is singular with respect to the $d$-dimensional Lebesgue measure.
△ Less
Submitted 20 September, 2021; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Heat kernel estimates for general symmetric pure jump Dirichlet forms
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we consider the following symmetric non-local Dirichlet forms of pure jump type on metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g)=\int_{M\times M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $J(dx,dy)$ is a symmetric Radon measure on $M\times M\setminus {\rm diag}$ that may have different scalings for small jumps and large jumps. Under general volume doubling condition on…
▽ More
In this paper, we consider the following symmetric non-local Dirichlet forms of pure jump type on metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g)=\int_{M\times M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $J(dx,dy)$ is a symmetric Radon measure on $M\times M\setminus {\rm diag}$ that may have different scalings for small jumps and large jumps. Under general volume doubling condition on $(M,d,μ)$ and some mild quantitative assumptions on $J(dx, dy)$ that are allowed to have light tails of polynomial decay at infinity, we establish stability results for two-sided heat kernel estimates as well as heat kernel upper bound estimates in terms of jumping kernel bounds, the cut-off Sobolev inequalities, and the Faber-Krahn inequalities (resp.\ the Poincaré inequalities). We also give stable characterizations of the corresponding parabolic Harnack inequalities.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Heat kernel estimates and parabolic Harnack inequalities for symmetric Dirichlet forms
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we consider the following symmetric Dirichlet forms on a metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g) = \mathcal{E}(^{(c)}(f,g)+\int_{M\times M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $\mathcal{E}(^{(c)}$ is a strongly local symmetric bilinear form and $J(dx,dy)$ is a symmetric Random measure on $M\times M$. Under general volume doubling condition on $(M,d,μ)$ and some mild…
▽ More
In this paper, we consider the following symmetric Dirichlet forms on a metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g) = \mathcal{E}(^{(c)}(f,g)+\int_{M\times M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $\mathcal{E}(^{(c)}$ is a strongly local symmetric bilinear form and $J(dx,dy)$ is a symmetric Random measure on $M\times M$. Under general volume doubling condition on $(M,d,μ)$ and some mild assumptions on scaling functions, we establish stability results for upper bounds of heat kernel (resp.\ two-sided heat kernel estimates) in terms of the jumping kernels, the cut-off Sobolev inequalities, and the Faber-Krahn inequalities (resp.\ the Poincaré inequalities). We also obtain characterizations of parabolic Harnack inequalities. Our results apply to symmetric diffusions with jumps even when the underlying spaces have walk dimensions larger than $2$.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Time Fractional Poisson Equations: Representations and Estimates
Authors:
Zhen-Qing Chen,
Panki Kim,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we study existence and uniqueness of strong as well as weak solutions for general time fractional Poisson equations. We show that there is an integral representation of the solutions of time fractional Poisson equations with zero initial values in terms of semigroup for the infinitesimal spatial generator ${\cal L}$ and the corresponding subordinator associated with the time fractio…
▽ More
In this paper, we study existence and uniqueness of strong as well as weak solutions for general time fractional Poisson equations. We show that there is an integral representation of the solutions of time fractional Poisson equations with zero initial values in terms of semigroup for the infinitesimal spatial generator ${\cal L}$ and the corresponding subordinator associated with the time fractional derivative. This integral representation has an integral kernel $q(t, x, y)$, which we call the fundamental solution for the time fractional Poisson equation, if the semigrou for ${\cal L}$ has an integral kernel. We further show that $q(t, x, y)$ can be expressed as a time fractional derivative of the fundamental solution for the homogenous time fractional equation under the assumption that the associated subordinator admits a conjugate subordinator. Moreover, when the Laplace exponent of the associated subordinator satisfies the weak scaling property and its distribution is self-decomposable, we establish two-sided estimates for the fundamental solution $q(t,x, y)$ through explicit estimates of transition density functions of subordinators.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
Random conductance models with stable-like jumps: heat kernel estimates and Harnack inequalities
Authors:
Xin Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We establish two-sided heat kernel estimates for random conductance models with non-uniformly elliptic (possibly degenerate) stable-like jumps on graphs. These are long range counterparts of well known two-sided Gaussian heat kernel estimates by M.T. Barlow for nearest neighbor (short range) random walks on the supercritical percolation cluster. Unlike the cases for nearest neighbor conductance mo…
▽ More
We establish two-sided heat kernel estimates for random conductance models with non-uniformly elliptic (possibly degenerate) stable-like jumps on graphs. These are long range counterparts of well known two-sided Gaussian heat kernel estimates by M.T. Barlow for nearest neighbor (short range) random walks on the supercritical percolation cluster. Unlike the cases for nearest neighbor conductance models, the idea through parabolic Harnack inequalities does not work, since even elliptic Harnack inequalities do not hold in the present setting. As an application, we establish the local limit theorem for the models.
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Long range random walks and associated geometries on groups of polynomial growth
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Laurent Saloff-Coste,
Jian Wang,
Tianyi Zheng
Abstract:
In the context of countable groups of polynomial volume growth, we consider a large class of random walks that are allowed to take long jumps along multiple subgroups according to power law distributions. For such a random walk, we study the large time behavior of its probability of return at time $n$ in terms of the key parameters describing the driving measure and the structure of the underlying…
▽ More
In the context of countable groups of polynomial volume growth, we consider a large class of random walks that are allowed to take long jumps along multiple subgroups according to power law distributions. For such a random walk, we study the large time behavior of its probability of return at time $n$ in terms of the key parameters describing the driving measure and the structure of the underlying group. We obtain assorted estimates including near-diagonal two-sided estimates and the Hölder continuity of the solutions of the associated discrete parabolic difference equation. In each case, these estimates involve the construction of a geometry adapted to the walk.
△ Less
Submitted 22 July, 2022; v1 submitted 1 July, 2018;
originally announced July 2018.
-
Random Conductance Models with Stable-like Jumps: Quenched Invariance Principle
Authors:
Xin Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We study the quenched invariance principle for random conductance models with long range jumps on $\Z^d$, where the transition probability from $x$ to $y$ is, on average, comparable to $|x-y|^{-(d+α)}$ with $α\in (0,2)$ but is allowed to be degenerate. Under some moment conditions on the conductance, we prove that the scaling limit of the Markov process is a symmetric $α$-stable Lévy process on…
▽ More
We study the quenched invariance principle for random conductance models with long range jumps on $\Z^d$, where the transition probability from $x$ to $y$ is, on average, comparable to $|x-y|^{-(d+α)}$ with $α\in (0,2)$ but is allowed to be degenerate. Under some moment conditions on the conductance, we prove that the scaling limit of the Markov process is a symmetric $α$-stable Lévy process on $\R^d$.The well-known corrector method in homogenization theory does not seem to work in this setting. Instead, we utilize probabilistic potential theory for the corresponding jump processes. Two essential ingredients of our proof are the tightness estimate and the Hölder regularity of caloric functions for non-elliptic $α$-stable-like processes on graphs. Our method is robust enough to apply not only for $\Z^d$ but also for more general graphs whose scaling limits are nice metric measure spaces.
△ Less
Submitted 29 April, 2020; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Heat kernel estimates for FIN processes associated with resistance forms
Authors:
David Croydon,
Ben Hambly,
Takashi Kumagai
Abstract:
Quenched and annealed heat kernel estimates are established for Fontes-Isopi-Newman (FIN) processes on spaces equipped with a resistance form. These results are new even in the case of the one-dimensional FIN diffusion, and also apply to fractals such as the Sierpinski gasket and carpet.
Quenched and annealed heat kernel estimates are established for Fontes-Isopi-Newman (FIN) processes on spaces equipped with a resistance form. These results are new even in the case of the one-dimensional FIN diffusion, and also apply to fractals such as the Sierpinski gasket and carpet.
△ Less
Submitted 26 November, 2017;
originally announced November 2017.
-
Cutoff for lamplighter chains on fractals
Authors:
Amir Dembo,
Takashi Kumagai,
Chikara Nakamura
Abstract:
We show that the total-variation mixing time of the lamplighter random walk on fractal graphs exhibit sharp cutoff when the underlying graph is transient (namely of spectral dimension greater than two). In contrast, we show that such cutoff can not occur for strongly recurrent underlying graphs (i.e. of spectral dimension less than two).
We show that the total-variation mixing time of the lamplighter random walk on fractal graphs exhibit sharp cutoff when the underlying graph is transient (namely of spectral dimension greater than two). In contrast, we show that such cutoff can not occur for strongly recurrent underlying graphs (i.e. of spectral dimension less than two).
△ Less
Submitted 14 July, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
Heat kernel estimates for time fractional equations
Authors:
Zhen-Qing Chen,
Panki Kim,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we establish existence and uniqueness of weak solutions to general time fractional equations and give their probabilistic representations. We then derive sharp two-sided estimates for fundamental solutions of a family of time fractional equations in metric measure spaces.
In this paper, we establish existence and uniqueness of weak solutions to general time fractional equations and give their probabilistic representations. We then derive sharp two-sided estimates for fundamental solutions of a family of time fractional equations in metric measure spaces.
△ Less
Submitted 10 September, 2017; v1 submitted 19 August, 2017;
originally announced August 2017.
-
Asymptotic analysis for Hamilton-Jacobi equations with large drift term
Authors:
Taiga Kumagai
Abstract:
We investigate the asymptotic behavior of solutions of Hamilton-Jacobi equations with large drift term in an open subset of two-dimensional Euclidean space. When the drift is given by $\varepsilon^{-1} (H_{x_2}, -H_{x_1})$ of a Hamiltonian $H$, with $\varepsilon > 0$, we establish the convergence, as $\varepsilon \to 0+$, of solutions of the Hamilton-Jacobi equations and identify the limit of the…
▽ More
We investigate the asymptotic behavior of solutions of Hamilton-Jacobi equations with large drift term in an open subset of two-dimensional Euclidean space. When the drift is given by $\varepsilon^{-1} (H_{x_2}, -H_{x_1})$ of a Hamiltonian $H$, with $\varepsilon > 0$, we establish the convergence, as $\varepsilon \to 0+$, of solutions of the Hamilton-Jacobi equations and identify the limit of the solutions as the solution of systems of ordinary differential equations on a graph. This result generalizes the previous one obtained by the author to the case where the Hamiltonian $H$ admits a degenerate critical point and, as a consequence, the graph may have segments more than four at a node.
△ Less
Submitted 30 August, 2017; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Elliptic Harnack inequalities for symmetric non-local Dirichlet forms
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
We study relations and characterizations of various elliptic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces. We allow the scaling function be state-dependent and the state space possibly disconnected. Stability of elliptic Harnack inequalities is established under certain regularity conditions and implication for a priori Hölder regularity of harmonic functio…
▽ More
We study relations and characterizations of various elliptic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces. We allow the scaling function be state-dependent and the state space possibly disconnected. Stability of elliptic Harnack inequalities is established under certain regularity conditions and implication for a priori Hölder regularity of harmonic functions is explored. New equivalent statements for parabolic Harnack inequalities of non-local Dirichlet forms are obtained in terms of elliptic Harnack inequalities.
△ Less
Submitted 5 September, 2017; v1 submitted 27 March, 2017;
originally announced March 2017.
-
Products of random walks on finite groups with moderate growth
Authors:
Guan-Yu Chen,
Takashi Kumagai
Abstract:
In this article, we consider products of random walks on finite groups with moderate growth and discuss their cutoffs in the total variation. Based on several comparison techniques, we are able to identify the total variation cutoff of discrete time lazy random walks with the Hellinger distance cutoff of continuous time random walks. Along with the cutoff criterion for Laplace transforms, we deriv…
▽ More
In this article, we consider products of random walks on finite groups with moderate growth and discuss their cutoffs in the total variation. Based on several comparison techniques, we are able to identify the total variation cutoff of discrete time lazy random walks with the Hellinger distance cutoff of continuous time random walks. Along with the cutoff criterion for Laplace transforms, we derive a series of equivalent conditions on the existence of cutoffs, including the existence of pre-cutoffs, Peres' product condition and a formula generated by the graph diameters. For illustration, we consider products of Heisenberg groups and randomized products of finite cycles.
△ Less
Submitted 28 April, 2017; v1 submitted 15 March, 2017;
originally announced March 2017.
-
Cutoffs for product chains
Authors:
Guan-Yu Chen,
Takashi Kumagai
Abstract:
In this article, we consider products of ergodic Markov chains and discuss their cutoffs in the total variation. Through a new inequality relating the total variation and the Hellinger distance, we may identify the total variation cutoffs with cutoffs in the Hellinger distance. This provides a new scheme to study the total variation mixing of Markov chains, in particular, product chains. In the th…
▽ More
In this article, we consider products of ergodic Markov chains and discuss their cutoffs in the total variation. Through a new inequality relating the total variation and the Hellinger distance, we may identify the total variation cutoffs with cutoffs in the Hellinger distance. This provides a new scheme to study the total variation mixing of Markov chains, in particular, product chains. In the theoretical framework, a series of criteria are introduced to examine cutoffs and a comparison of mixing between the product chain and its coordinate chains is made in detail. For illustration, we consider products of two-state chains, cycles and other typical examples.
△ Less
Submitted 9 February, 2017; v1 submitted 23 January, 2017;
originally announced January 2017.
-
Stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we establish stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces under general volume doubling condition. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cutoff Sobolev inequalities, and Poincaré inequalities. In particular, we establish the connection between parabolic Harnack…
▽ More
In this paper, we establish stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces under general volume doubling condition. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cutoff Sobolev inequalities, and Poincaré inequalities. In particular, we establish the connection between parabolic Harnack inequalities and two-sided heat kernel estimates, as well as with the Hölder regularity of parabolic functions for symmetric non-local Dirichlet forms.
△ Less
Submitted 18 June, 2020; v1 submitted 24 September, 2016;
originally announced September 2016.
-
Time-changes of stochastic processes associated with resistance forms
Authors:
D. A. Croydon,
B. M. Hambly,
T. Kumagai
Abstract:
Given a sequence of resistance forms that converges with respect to the Gromov-Hausdorff-vague topology and satisfies a uniform volume doubling condition, we show the convergence of corresponding Brownian motions and local times. As a corollary of this, we obtain the convergence of time-changed processes. Examples of our main results include scaling limits of Liouville Brownian motion, the Bouchau…
▽ More
Given a sequence of resistance forms that converges with respect to the Gromov-Hausdorff-vague topology and satisfies a uniform volume doubling condition, we show the convergence of corresponding Brownian motions and local times. As a corollary of this, we obtain the convergence of time-changed processes. Examples of our main results include scaling limits of Liouville Brownian motion, the Bouchaud trap model and the random conductance model on trees and self-similar fractals. For the latter two models, we show that under some assumptions the limiting process is a FIN diffusion on the relevant space.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
A perturbation problem involving singular perturbations of domains for Hamilton-Jacobi equations
Authors:
Taiga Kumagai
Abstract:
We investigate a singular perturbation for Hamilton-Jacobi equations in an open subset of two dimensional Euclidean space, where the set is determined through a Hamiltonian function and the Hamilton-Jacobi equations are the dynamic programming equations for optimal control of the Hamiltonian flow of the Hamiltonian. We establish the convergence of solutions of the Hamilton-Jacobi equations and ide…
▽ More
We investigate a singular perturbation for Hamilton-Jacobi equations in an open subset of two dimensional Euclidean space, where the set is determined through a Hamiltonian function and the Hamilton-Jacobi equations are the dynamic programming equations for optimal control of the Hamiltonian flow of the Hamiltonian. We establish the convergence of solutions of the Hamilton-Jacobi equations and identify the limit of the solutions as solutions of systems of ordinary differential equations on a graph. The perturbation is singular in the sense that the domain degenerates to the graph in the limit process. Our result can be seen as a perturbation analysis, in the viewpoint of optimal control, of the Hamiltonian flow.
△ Less
Submitted 30 August, 2017; v1 submitted 8 July, 2016;
originally announced July 2016.
-
Laws of the Iterated Logarithm for random walks on Random Conductance Models
Authors:
Takashi Kumagai,
Chikara Nakamura
Abstract:
We derive laws of the iterated logarithm for random walks on random conductance models under the assumption that the random walks enjoy long time sub-Gaussian heat kernel estimates.
We derive laws of the iterated logarithm for random walks on random conductance models under the assumption that the random walks enjoy long time sub-Gaussian heat kernel estimates.
△ Less
Submitted 3 May, 2016; v1 submitted 17 April, 2016;
originally announced April 2016.
-
Stability of heat kernel estimates for symmetric non-local Dirichlet forms
Authors:
Zhen-Qing Chen,
Takashi Kumagai,
Jian Wang
Abstract:
In this paper, we consider symmetric jump processes of mixed-type on metric measure spaces under general volume doubling condition, and establish stability of two-sided heat kernel estimates and heat kernel upper bounds. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cut-off Sobolev inequalities, and the Faber-Krahn inequalities. In particular, we…
▽ More
In this paper, we consider symmetric jump processes of mixed-type on metric measure spaces under general volume doubling condition, and establish stability of two-sided heat kernel estimates and heat kernel upper bounds. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cut-off Sobolev inequalities, and the Faber-Krahn inequalities. In particular, we establish stability of heat kernel estimates for $α$-stable-like processes even with $α\ge 2$ when the underlying spaces have walk dimensions larger than $2$, which has been one of the major open problems in this area.
△ Less
Submitted 22 September, 2017; v1 submitted 14 April, 2016;
originally announced April 2016.
-
Stability and instability of Gaussian heat kernel estimates for random walks among time-dependent conductances
Authors:
Ruojun Huang,
Takashi Kumagai
Abstract:
We consider time-dependent random walks among time-dependent conductances. For discrete time random walks, we show that, unlike the time-independent case, two-sided Gaussian heat kernel estimates are not stable under perturbations. This is proved by giving an example of a ballistic and transient time-dependent random walk on Z among uniformly elliptic time-dependent conductances. For continuous ti…
▽ More
We consider time-dependent random walks among time-dependent conductances. For discrete time random walks, we show that, unlike the time-independent case, two-sided Gaussian heat kernel estimates are not stable under perturbations. This is proved by giving an example of a ballistic and transient time-dependent random walk on Z among uniformly elliptic time-dependent conductances. For continuous time random walks, we show the instability when the holding times are i.i.d. exp(1), and in contrast, we prove the stability when the holding times change by sites in such a way that the base measure is a uniform measure.
△ Less
Submitted 20 October, 2015; v1 submitted 6 June, 2015;
originally announced June 2015.
-
Lamplighter random walks on fractals
Authors:
Takashi Kumagai,
Chikara Nakamura
Abstract:
We consider on-diagonal heat kernel estimates and the laws of the iterated logarithms for a switch-walk-switch random walk on a lamplighter graph under the condition that the random walk on the underlying graph enjoys sub-Gaussian heat kernel estimates.
We consider on-diagonal heat kernel estimates and the laws of the iterated logarithms for a switch-walk-switch random walk on a lamplighter graph under the condition that the random walk on the underlying graph enjoys sub-Gaussian heat kernel estimates.
△ Less
Submitted 6 October, 2016; v1 submitted 4 May, 2015;
originally announced May 2015.
-
Laws of the iterated logarithm for symmetric jump processes
Authors:
Panki Kim,
Takashi Kumagai,
Jian Wang
Abstract:
Based on two-sided heat kernel estimates for a class of symmetric jump processes on metric measure spaces, the laws of the iterated logarithm (LILs) for sample paths, local times and ranges are established. In particular, the LILs are obtained for $β$-stable-like processes on $α$-sets with $β>0$.
Based on two-sided heat kernel estimates for a class of symmetric jump processes on metric measure spaces, the laws of the iterated logarithm (LILs) for sample paths, local times and ranges are established. In particular, the LILs are obtained for $β$-stable-like processes on $α$-sets with $β>0$.
△ Less
Submitted 18 February, 2016; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Quenched Invariance Principle for a class of random conductance models with long-range jumps
Authors:
Marek Biskup,
Takashi Kumagai
Abstract:
We study random walks on $\mathbb Z^d$ among random conductances $\{C_{xy}\colon x,y\in\mathbb Z^d\}$ that permit jumps of arbitrary length. Apart from joint ergodicity with respect to spatial shifts, we assume only that the nearest-neighbor conductances are uniformly positive and that $\sum_{x\in\mathbb Z^d} C_{0x}|x|^2$ is integrable. Our focus is on the Quenched Invariance Principle (QIP) which…
▽ More
We study random walks on $\mathbb Z^d$ among random conductances $\{C_{xy}\colon x,y\in\mathbb Z^d\}$ that permit jumps of arbitrary length. Apart from joint ergodicity with respect to spatial shifts, we assume only that the nearest-neighbor conductances are uniformly positive and that $\sum_{x\in\mathbb Z^d} C_{0x}|x|^2$ is integrable. Our focus is on the Quenched Invariance Principle (QIP) which we establish in all $d\ge3$ by a combination of corrector methods and heat-kernel technology. In particular, a QIP thus holds for random walks on long-range percolation graphs with exponents larger than $d+2$ in all $d\ge3$, provided all nearest-neighbor edges are present. We then show that, for long-range percolation with exponents between $d+2$ and $2d$, the corrector fails to be sublinear everywhere. Similar examples are constructed also for nearest-neighbor, ergodic conductances in $d\ge4$ under the conditions close to, albeit not exactly, complementary to those of the recent work of S. Andres, M. Slowik and J.-D. Deuschel.
△ Less
Submitted 10 December, 2014; v1 submitted 29 November, 2014;
originally announced December 2014.
-
Subsequential scaling limits of simple random walk on the two-dimensional uniform spanning tree
Authors:
M. T. Barlow,
D. A. Croydon,
T. Kumagai
Abstract:
The first main result of this paper is that the law of the (rescaled) two-dimensional uniform spanning tree is tight in a space whose elements are measured, rooted real trees continuously embedded into Euclidean space. Various properties of the intrinsic metrics, measures and embeddings of the subsequential limits in this space are obtained, with it being proved in particular that the Hausdorff di…
▽ More
The first main result of this paper is that the law of the (rescaled) two-dimensional uniform spanning tree is tight in a space whose elements are measured, rooted real trees continuously embedded into Euclidean space. Various properties of the intrinsic metrics, measures and embeddings of the subsequential limits in this space are obtained, with it being proved in particular that the Hausdorff dimension of any limit in its intrinsic metric is almost surely equal to $8/5$. In addition, the tightness result is applied to deduce that the annealed law of the simple random walk on the two-dimensional uniform spanning tree is tight under a suitable rescaling. For the limiting processes, which are diffusions on random real trees embedded into Euclidean space, detailed transition density estimates are derived.
△ Less
Submitted 3 July, 2017; v1 submitted 19 July, 2014;
originally announced July 2014.
-
Harnack Inequalities and Local Central Limit Theorem for the Polynomial Lower Tail Random Conductance Model
Authors:
Omar Boukhadra,
Takashi Kumagai,
Pierre Mathieu
Abstract:
We prove upper bounds on the transition probabilities of random walks with i.i.d. random conductances with a polynomial lower tail near $0$. We consider both constant and variable speed models. Our estimates are sharp. As a consequence, we derive local central limit theorems, parabolic Harnack inequalities and Gaussian bounds for the heat kernel. Some of the arguments are robust and applicable for…
▽ More
We prove upper bounds on the transition probabilities of random walks with i.i.d. random conductances with a polynomial lower tail near $0$. We consider both constant and variable speed models. Our estimates are sharp. As a consequence, we derive local central limit theorems, parabolic Harnack inequalities and Gaussian bounds for the heat kernel. Some of the arguments are robust and applicable for random walks on general graphs. Such results are stated under a general setting.
△ Less
Submitted 29 June, 2015; v1 submitted 5 August, 2013;
originally announced August 2013.
-
Quenched invariance principles for random walks and elliptic diffusions in random media with boundary
Authors:
Zhen-Qing Chen,
David A. Croydon,
Takashi Kumagai
Abstract:
Via a Dirichlet form extension theorem and making full use of two-sided heat kernel estimates, we establish quenched invariance principles for random walks in random environments with a boundary. In particular, we prove that the random walk on a supercritical percolation cluster or among random conductances bounded uniformly from below in a half-space, quarter-space, etc., converges when rescaled…
▽ More
Via a Dirichlet form extension theorem and making full use of two-sided heat kernel estimates, we establish quenched invariance principles for random walks in random environments with a boundary. In particular, we prove that the random walk on a supercritical percolation cluster or among random conductances bounded uniformly from below in a half-space, quarter-space, etc., converges when rescaled diffusively to a reflecting Brownian motion, which has been one of the important open problems in this area. We establish a similar result for the random conductance model in a box, which allows us to improve existing asymptotic estimates for the relevant mixing time. Furthermore, in the uniformly elliptic case, we present quenched invariance principles for domains with more general boundaries.
△ Less
Submitted 9 September, 2015; v1 submitted 1 June, 2013;
originally announced June 2013.
-
Fluctuations of recentered maxima of discrete Gaussian Free Fields on a class of recurrent graphs
Authors:
Takashi Kumagai,
Ofer Zeitouni
Abstract:
We provide conditions that ensure that the recentered maximum of the Gaussian free field on a sequence of graphs fluctuates at the same order as the field at the point of maximal variance. In particular, on a sequence of such graphs the recentered maximum is not tight, similarly to the situation in Z but in contrast with the situation in Z^2. We show that our conditions cover a large class of "fra…
▽ More
We provide conditions that ensure that the recentered maximum of the Gaussian free field on a sequence of graphs fluctuates at the same order as the field at the point of maximal variance. In particular, on a sequence of such graphs the recentered maximum is not tight, similarly to the situation in Z but in contrast with the situation in Z^2. We show that our conditions cover a large class of "fractal" graphs.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
