Searcharxiv⌕ Search

arXiv subjects

Tuomo Kuusi

Publications and source records attributed to Tuomo Kuusi.

At least 37 records · Page 2Linked to original sources

Homogenization, linearization and large-scale regularity for nonlinear elliptic equations

We consider nonlinear, uniformly elliptic equations with random, highly oscillating coefficients satisfying a finite range of dependence. We prove that homogenization and linearization commute in the sense that the linearized equation (linearized around an arbitrary solution) homogenizes to the linearization of the homogenized equation (linearized around the corresponding solution of the homogenized equation). We also obtain a quantitative estimate on the rate of this homogenization. These results lead to a better understanding of differences of solutions to the nonlinear equation, which is of fundamental importance in quantitative homogenization. In particular, we obtain a large-scale $C^{0,1}$ estimate for differences of solutions---with optimal stochastic integrability. Using this estimate, we prove a large-scale $C^{1,1}$ estimate for solutions, also with optimal stochastic integrability. Each of these regularity estimates are new even in the periodic setting. As a second consequence of the large-scale regularity for differences, we improve the smoothness of the homogenized Lagrangian by showing that it has the same regularity as the heterogeneous Lagrangian, up to $C^{2,1}$.

math.AP↗

Quantitative stochastic homogenization and large-scale regularity

This is a preliminary version of a book which presents the quantitative homogenization and large-scale regularity theory for elliptic equations in divergence-form. The self-contained presentation gives new and simplified proofs of the core results proved in the last several years, including the algebraic convergence rate for the variational subadditive quantities, the large-scale Lipschitz and higher regularity estimates and Liouville-type results, optimal quantitative estimates on the first-order correctors and their scaling limit to a Gaussian free field. There are several chapters containing new results, such as: quantitative estimates for the Dirichlet problem, including optimal quantitative estimates of the homogenization error and the two-scale expansion; optimal estimates for the homogenization of the parabolic and elliptic Green functions; and $W^{1,p}$-type estimates for two-scale expansions.

math.AP↗

Existence and boundary regularity for degenerate phase transitions

We study the Cauchy-Dirichlet problem associated to a phase transition modeled upon the degenerate two-phase Stefan problem. We prove that weak solutions are continuous up to the parabolic boundary and quantify the continuity by deriving a modulus. As a byproduct, these a priori regularity results are used to prove the existence of a so-called physical solution.

math.AP↗

Scaling limits of energies and correctors

In stochastic homogenization of elliptic equations, the corrector plays a central role. Under a finite range of dependence assumption on the coefficient field, we show that the large-scale spatial averages of the corrector approach those of a variant of the Gaussian free field. In contrast to previous work, the argument does not rely on an underlying product structure of the probability measure. Instead, we rely on the additivity of energy quantities to show central limit theorems for these, and derive the large-scale behavior of the corrector as a consequence.

math.AP↗

The additive structure of elliptic homogenization

One of the principal difficulties in stochastic homogenization is transferring quantitative ergodic information from the coefficients to the solutions, since the latter are nonlocal functions of the former. In this paper, we address this problem in a new way, in the context of linear elliptic equations in divergence form, by showing that certain quantities associated to the energy density of solutions are essentially additive. As a result, we are able to prove quantitative estimates on the weak convergence of the gradients, fluxes and energy densities of the first-order correctors (under blow-down) which are optimal in both scaling and stochastic integrability. The proof of the additivity is a bootstrap argument, completing the program initiated in \cite{AKM}: using the regularity theory recently developed for stochastic homogenization, we reduce the error in additivity as we pass to larger and larger length scales. In the second part of the paper, we use the additivity to derive central limit theorems for these quantities by a reduction to sums of independent random variables. In particular, we prove that the first-order correctors converge, in the large-scale limit, to a variant of the Gaussian free field.

math.AP↗

Fractional superharmonic functions and the Perron method for nonlinear integro-differential equations

We deal with a class of equations driven by nonlocal, possibly degenerate, integro-differential operators of differentiability order $s\in (0,1)$ and summability growth $p>1$, whose model is the fractional $p$-Laplacian with measurable coefficients. We state and prove several results for the corresponding weak supersolutions, as comparison principles, a priori bounds, lower semicontinuity, and many others. We then discuss the good definition of $(s,p)$-superharmonic functions, by also proving some related properties. We finally introduce the nonlocal counterpart of the celebrated Perron method in nonlinear Potential Theory.

math.AP↗

Quantitative analysis of boundary layers in periodic homogenization

We prove quantitative estimates on the rate of convergence for the oscillating Dirichlet problem in periodic homogenization of divergence-form uniformly elliptic systems. The estimates are optimal in dimensions larger than three and new in every dimension. We also prove a regularity estimate on the homogenized boundary condition.

math.AP↗

Equivalence of solutions to fractional $p$-Laplace type equations

In this paper, we study different notions of solutions of nonlocal and nonlinear equations of fractional $p$-Laplace type $${\rm P.V.} \int_{\mathbb R^n}\frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{n+sp}}\,dy = 0.$$ Solutions are defined via integration by parts with test functions, as viscosity solutions or via comparison. Our main result states that for bounded solutions, the three different notions coincide.

math.AP↗

Bounded correctors in almost periodic homogenization

We show that certain linear elliptic equations (and systems) in divergence form with almost periodic coefficients have bounded, almost periodic correctors. This is proved under a new condition we introduce which quantifies the almost periodic assumption and includes (but is not restricted to) the class of smooth, quasiperiodic coefficient fields which satisfy a Diophantine-type condition previously considered by Kozlov. The proof is based on a quantitative ergodic theorem for almost periodic functions combined with the new regularity theory recently introduced by the first author and Shen for equations with almost periodic coefficients. This yields control on spatial averages of the gradient of the corrector, which is converted into estimates on the size of the corrector itself via a multiscale Poincaré-type inequality.

math.AP↗

The obstacle problem for nonlinear integro-differential operators

We investigate the obstacle problem for a class of nonlinear equations driven by nonlocal, possibly degenerate, integro-differential operators, whose model is the fractional $p$-Laplacian operator with measurable coefficients. Amongst other results, we will prove both the existence and uniqueness of the solutions to the obstacle problem, and that these solutions inherit regularity properties, such as boundedness, continuity and Hölder continuity (up to the boundary), from the obstacle.

math.AP↗

Mesoscopic higher regularity and subadditivity in elliptic homogenization

We introduce a new method for obtaining quantitative results in stochastic homogenization for linear elliptic equations in divergence form. Unlike previous works on the topic, our method does not use concentration inequalities (such as Poincaré or logarithmic Sobolev inequalities in the probability space) and relies instead on a higher ($C^{k}$, $k \geq 1$) regularity theory for solutions of the heterogeneous equation, which is valid on length scales larger than a certain specified mesoscopic scale. This regularity theory, which is of independent interest, allows us to, in effect, localize the dependence of the solutions on the coefficients and thereby accelerate the rate of convergence of the expected energy of the cell problem by a bootstrap argument. The fluctuations of the energy are then tightly controlled using subadditivity. The convergence of the energy gives control of the scaling of the spatial averages of gradients and fluxes (that is, it quantifies the weak convergence of these quantities) which yields, by a new "multiscale" Poincaré inequality, quantitative estimates on the sublinearity of the corrector.

math.AP↗

Boundary behavior of solutions to the parabolic p-Laplace equation

We establish boundary estimates for non-negative solutions to the p-parabolic equation in the degenerate range $p>2$. Our main results include new parabolic intrinsic Harnack chains in cylindrical NTA-domains together with sharp boundary decay estimates. If the underlying domain is $C^{1,1}$-regular, we establish a relatively complete theory of the boundary behavior, including boundary Harnack principles and Hölder continuity of the ratios of two solutions, as well as fine properties of associated boundary measures. There is an intrinsic waiting time phenomena present which plays a fundamental role throughout the paper. In particular, conditions on these waiting times rule out well-known examples of explicit solutions violating the boundary Harnack principle.

math.AP↗

Pointwise Calderón-Zygmund gradient estimates for the $p$-Laplace system

Pointwise estimates for the gradient of solutions to the $p$-Laplace system with right-hand side in divergence form are established. They enable us to develop a nonlinear counterpart of the classical Calderón-Zygmund theory in terms of Calderón-Zygmund singular integrals, for the Laplacian. As a consequence, a flexible, comprehensive approach to gradient bounds for the $p$-Laplace system for a broad class of norms is derived. In particular, new gradient estimates are exhibited, and well-known results in customary function spaces are easily recovered.

math.AP↗

Systems of partial differential equations in porous medium

We investigate systems of degenerate parabolic equations idealizing reactive solute transport in porous media. Taking advantage of the inherent structure of the system that allows to deduce a scalar Generalized Porous Medium Equation for the sum of the solute concentrations, we show existence of a unique weak solution to the coupled system and derive regularity estimates. We also prove that the system supports solutions propagating with finite speed thus giving rise to free boundaries and interaction of compactly supported initial concentrations of different species.

math.AP↗

Shadows of infinities

We study unbounded "supersolutions" of the Evolutionary $p$-Laplace equation with slow diffusion. They are the same functions as the viscosity supersolutions. A fascinating dichotomy prevails: either they are locally summable to the power $p-1+\tfrac{n}{p}-0$ or not summable to the power $p-2+0.$

math.AP↗

Borderline gradient continuity of minima

The gradient of any local minimiser of functionals of the type $$ w \mapsto \int_Ωf(x,w,Dw)\,dx+\int_Ωwμ\,dx, $$ where $f$ has $p$-growth, $p>1$, and $Ω\subset \mathbb R^n$, is continuous provided the optimal Lorentz space condition $μ\in L(n,1)$ is satisfied and $x\to f(x, \cdot)$ is suitably Dini-continuous.

math.AP↗

Nonlocal equations with measure data

We develop an existence, regularity and potential theory for nonlinear integrodifferential equations involving measure data. The nonlocal elliptic operators considered are possibly degenerate and cover the case of the fractional $p$-Laplacean operator with measurable coefficients. We introduce a natural function class where we solve the Dirichlet problem, and prove basic and optimal nonlinear Wolff potential estimates for solutions. These are the exact analogs of the results valid in the case of local quasilinear degenerate equations established by Boccardo & Gallouët \cite{BG1, BG2} and Kilpeläinen & Malý \cite{KM1, KM2}. As a consequence, we establish a number of results which can be considered as basic building blocks for a nonlocal, nonlinear potential theory: fine properties of solutions, Calderón-Zygmund estimates, continuity and boundedness criteria are established via Wolff potentials. %In particular, optimal Lorentz spaces continuity criteria follow. A main tool is the introduction of a global excess functional that allows to prove a nonlocal analog of the classical theory due to Campanato \cite{camp}. Our results cover the case of linear nonlocal equations with measurable coefficients, and the one of the fractional Laplacean, and are new already in such cases.

math.AP↗