Showing 1–42 of 42 results for author: Nystrom, K

Higher order interpolative geometries and gradient regularity in evolutionary obstacle problems

Authors: Sunghan Kim, Kaj Nyström

Abstract: We prove new optimal $C^{1,α}$ regularity results for obstacle problems involving evolutionary $p$-Laplace type operators in the degenerate regime $p > 2$. Our main results include the optimal regularity improvement at free boundary points in intrinsic backward $p$-paraboloids, up to the critical exponent, $α\leq 2/(p-2)$, and the optimal regularity across the free boundaries in the full cylinders… ▽ More We prove new optimal $C^{1,α}$ regularity results for obstacle problems involving evolutionary $p$-Laplace type operators in the degenerate regime $p > 2$. Our main results include the optimal regularity improvement at free boundary points in intrinsic backward $p$-paraboloids, up to the critical exponent, $α\leq 2/(p-2)$, and the optimal regularity across the free boundaries in the full cylinders up to a universal threshold. Moreover, we provide an intrinsic criterion by which the optimal regularity improvement at free boundaries can be extended to the entire cylinders. An important feature of our analysis is that we do not impose any assumption on the time derivative of the obstacle. Our results are formulated in function spaces associated to what we refer to as higher order or $C^{1,α}$ intrinsic interpolative geometries. △ Less

Submitted 10 January, 2024; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: To appear in JMPA

Solvability of the $L^p$ Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph

Authors: Simon Bortz, Steven Hofmann, José María Martell, Kaj Nyström

Abstract: We prove that if a parabolic Lipschitz (i.e., Lip(1,1/2)) graph domain has the property that its caloric measure is a parabolic $A_\infty$ weight with respect to surface measure (which in turn is equivalent to $L^p$ solvability of the Dirichlet problem for some finite $p$), then the function defining the graph has a half-order time derivative in the space of (parabolic) bounded mean oscillation. E… ▽ More We prove that if a parabolic Lipschitz (i.e., Lip(1,1/2)) graph domain has the property that its caloric measure is a parabolic $A_\infty$ weight with respect to surface measure (which in turn is equivalent to $L^p$ solvability of the Dirichlet problem for some finite $p$), then the function defining the graph has a half-order time derivative in the space of (parabolic) bounded mean oscillation. Equivalently, we prove that the $A_\infty$ property of caloric measure implies, in this case, that the boundary is parabolic uniformly rectifiable. Consequently, by combining our result with the work of Lewis and Murray we resolve a long standing open problem in the field by characterizing those parabolic Lipschitz graph domains for which one has $L^p$ solvability (for some $p <\infty$) of the Dirichlet problem for the heat equation. The key idea of our proof is to view the level sets of the Green function as extensions of the original boundary graph for which we can prove (local) square function estimates of Littlewood-Paley type. △ Less

Submitted 8 November, 2024; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: This revised version includes some minor expository changes, corrections of typos, and a more detailed account of relevant history with some additional references

MSC Class: 35K05 (primary) 35K20; 35R35; 42B25; 42B37 (secondary)

A Galerkin type method for kinetic Fokker Planck equations based on Hermite expansions

Authors: Benny Avelin, Mingyi Hou, Kaj Nyström

Abstract: In this paper, we develop a Galerkin-type approximation, with quantitative error estimates, for weak solutions to the Cauchy problem for kinetic Fokker-Planck equations in the domain $(0, T) \times D \times \mathbb{R}^d$, where $D$ is either $\mathbb{T}^d$ or $\mathbb{R}^d$. Our approach is based on a Hermite expansion in the velocity variable only, with a hyperbolic system that appears as the tru… ▽ More In this paper, we develop a Galerkin-type approximation, with quantitative error estimates, for weak solutions to the Cauchy problem for kinetic Fokker-Planck equations in the domain $(0, T) \times D \times \mathbb{R}^d$, where $D$ is either $\mathbb{T}^d$ or $\mathbb{R}^d$. Our approach is based on a Hermite expansion in the velocity variable only, with a hyperbolic system that appears as the truncation of the Brinkman hierarchy, as well as ideas from $\href{arXiv:1902.04037v2}{AAMN21}$ and additional energy-type estimates that we have developed. We also establish the regularity of the solution based on the regularity of the initial data and the source term. △ Less

Submitted 28 September, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 24 pages, corrected the references, version submitted to Kinet. Relat. Models, to appear

Journal ref: Kinetic and Related Models, 2024, 17(4): 634-658

On fundamental solutions and Gaussian bounds for degenerate parabolic equations with time-dependent coefficients

Authors: Alireza Ataei, Kaj Nyström

Abstract: We consider second order degenerate parabolic equations with real, measurable, and time-dependent coefficients. We allow for degenerate ellipticity dictated by a spatial $A_2$-weight. We prove the existence of a fundamental solution and derive Gaussian bounds. Our construction is based on the original work of Kato \cite{Kato}. We consider second order degenerate parabolic equations with real, measurable, and time-dependent coefficients. We allow for degenerate ellipticity dictated by a spatial $A_2$-weight. We prove the existence of a fundamental solution and derive Gaussian bounds. Our construction is based on the original work of Kato \cite{Kato}. △ Less

Submitted 27 August, 2024; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: In this version, we have added more details in Section 3 of the paper. Section 3 contains the proof of the uniqueness part of our main result and as the argument uses Steklov averages and contains some subtleties, we now supply the full detail

The Kato square root problem for parabolic operators with an anti-symmetric part in BMO

Authors: Alireza Ataei, Kaj Nyström

Abstract: We solve the Kato square root problem for parabolic operators whose coefficients can be written as the sum of a complex part, which is coercive, and a real anti-symmetric part, which is in BMO. In particular, we allow for certain unbounded coefficients. We solve the Kato square root problem for parabolic operators whose coefficients can be written as the sum of a complex part, which is coercive, and a real anti-symmetric part, which is in BMO. In particular, we allow for certain unbounded coefficients. △ Less

Submitted 14 January, 2025; v1 submitted 4 October, 2022; originally announced October 2022.

The Kato square root problem for weighted parabolic operators

Authors: Alireza Ataei, Moritz Egert, Kaj Nyström

Abstract: We give a simplified and direct proof of the Kato square root estimate for parabolic operators with elliptic part in divergence form and coefficients possibly depending on space and time in a merely measurable way. The argument relies on the nowadays classical reduction to a quadratic estimate and a Carleson-type inequality. The precise organization of the estimates is different from earlier works… ▽ More We give a simplified and direct proof of the Kato square root estimate for parabolic operators with elliptic part in divergence form and coefficients possibly depending on space and time in a merely measurable way. The argument relies on the nowadays classical reduction to a quadratic estimate and a Carleson-type inequality. The precise organization of the estimates is different from earlier works. In particular, we succeed in separating space and time variables almost completely despite the non-autonomous character of the operator. Hence, we can allow for degenerate ellipticity dictated by a spatial $A_2$-weight, which has not been treated before in this context. △ Less

Submitted 22 September, 2022; originally announced September 2022.

Square function estimates for the evolutionary p-Laplace equation

Authors: Kaj Nyström

Abstract: We prove novel (local) square function/Carleson measure estimates for non-negative solutions to the evolutionary $p$-Laplace equation in the complement of parabolic Ahlfors-David regular sets. In the case of the heat equation, the Laplace equation as well as the $p$-Laplace equation, the corresponding square function estimates have proven fundamental in symmetry and inverse/free boundary type prob… ▽ More We prove novel (local) square function/Carleson measure estimates for non-negative solutions to the evolutionary $p$-Laplace equation in the complement of parabolic Ahlfors-David regular sets. In the case of the heat equation, the Laplace equation as well as the $p$-Laplace equation, the corresponding square function estimates have proven fundamental in symmetry and inverse/free boundary type problems, and in particular in the study of (parabolic) uniform rectifiability. Though the implications of the square function estimates are less clear for the evolutionary $p$-Laplace equation, mainly due its lack of homogeneity, we give some initial applications to parabolic uniform rectifiability, boundary behaviour and Fatou type theorems for $\nabla_Xu$. △ Less

Submitted 14 September, 2022; originally announced September 2022.

On regularity and existence of weak solutions to nonlinear Kolmogorov-Fokker-Planck type equations with rough coefficients

Authors: Prashanta Garain, Kaj Nyström

Abstract: We consider nonlinear Kolmogorov-Fokker-Planck type equations of the form \begin{equation}\label{abeqn} (\partial_t+X\cdot\nabla_Y)u=\nabla_X\cdot(A(\nabla_X u,X,Y,t)). \end{equation} The function $A=A(ξ,X,Y,t):\R^m\times\R^m\times\R^m\times\R\to\R^m$ is assumed to be continuous with respect to $ξ$, and measurable with respect to $X,Y$ and $t$. $A=A(ξ,X,Y,t)$ is allowed to be nonlinear but with li… ▽ More We consider nonlinear Kolmogorov-Fokker-Planck type equations of the form \begin{equation}\label{abeqn} (\partial_t+X\cdot\nabla_Y)u=\nabla_X\cdot(A(\nabla_X u,X,Y,t)). \end{equation} The function $A=A(ξ,X,Y,t):\R^m\times\R^m\times\R^m\times\R\to\R^m$ is assumed to be continuous with respect to $ξ$, and measurable with respect to $X,Y$ and $t$. $A=A(ξ,X,Y,t)$ is allowed to be nonlinear but with linear growth. We establish higher integrability and local boundedness of weak sub-solutions, weak Harnack and Harnack inequalities, and H{ö}lder continuity with quantitative estimates. In addition we establish existence and uniqueness of weak solutions to a Dirichlet problem in certain bounded $X$, $Y$ and $t$ dependent domains. △ Less

Submitted 16 June, 2022; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: 34 Pages

MSC Class: 35K65; 35K70; 35H20; 35R03

Journal ref: Mathematics in Engineering, 2022

Tug-of-war with Kolmogorov

Authors: Carmina Fjellström, Kaj Nyström, Matias Vestberg

Abstract: We introduce a new class of strongly degenerate nonlinear parabolic PDEs $$((p-2)Δ_{\infty,X}^N+Δ_X)u(X,Y,t)+(m+p)(X\cdot\nabla_Yu(X,Y,t)-\partial_tu(X,Y,t))=0,$$ $(X,Y,t)\in\mathbb R^m\times \mathbb R^m\times \mathbb R$, $p\in (1,\infty)$, combining the classical PDE of Kolmogorov and the normalized $p$-Laplace operator. We characterize solutions in terms of an asymptotic mean value property and… ▽ More We introduce a new class of strongly degenerate nonlinear parabolic PDEs $$((p-2)Δ_{\infty,X}^N+Δ_X)u(X,Y,t)+(m+p)(X\cdot\nabla_Yu(X,Y,t)-\partial_tu(X,Y,t))=0,$$ $(X,Y,t)\in\mathbb R^m\times \mathbb R^m\times \mathbb R$, $p\in (1,\infty)$, combining the classical PDE of Kolmogorov and the normalized $p$-Laplace operator. We characterize solutions in terms of an asymptotic mean value property and the results are connected to the analysis of certain tug-of-war games with noise. The value functions for the games introduced approximate solutions to the stated PDE when the parameter that controls the size of the possible steps goes to zero. Existence and uniqueness of viscosity solutions to the Dirichlet problem is established. The asymptotic mean value property, the associated games and the geometry underlying the Dirichlet problem, all reflect the family of dilation and the Lie group underlying operators of Kolmogorov type and this makes our setting different from the context of standard parabolic dilations and Euclidean translations applicable in the context of the heat operator and the normalized parabolic infinity Laplace operator. △ Less

Submitted 20 September, 2022; v1 submitted 2 February, 2022; originally announced February 2022.

MSC Class: 35K51; 35K65; 35K70; 35K92; 35H20; 35R03; 35Q91; 91A80; 91A05

Asymptotic mean value formulas, nonlocal space-time parabolic operators and anomalous tug-of-war games

Authors: Carmina Fjellström, Kaj Nyström, Yuqiong Wang

Abstract: The fractional heat operator $(\partial_t-Δ_x)^s$ and Continuous Time Random Walks (CTRWs) are interesting and sophisticated mathematical models that can describe complex anomalous systems. In this paper, we prove asymptotic mean value representation formulas for functions with respect to $(\partial_t-Δ_x)^s$ and we introduce new nonlocal, nonlinear parabolic operators related to a tug-of-war whic… ▽ More The fractional heat operator $(\partial_t-Δ_x)^s$ and Continuous Time Random Walks (CTRWs) are interesting and sophisticated mathematical models that can describe complex anomalous systems. In this paper, we prove asymptotic mean value representation formulas for functions with respect to $(\partial_t-Δ_x)^s$ and we introduce new nonlocal, nonlinear parabolic operators related to a tug-of-war which accounts for waiting times and space-time couplings. These nonlocal, nonlinear parabolic operators and equations can be seen as nonlocal versions of the evolutionary infinity Laplace operator. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Solving the Dirichlet problem for the Monge-Ampère equation using neural networks

Authors: Kaj Nyström, Matias Vestberg

Abstract: The Monge-Ampère equation is a fully nonlinear partial differential equation (PDE) of fundamental importance in analysis, geometry and in the applied sciences. In this paper we solve the Dirichlet problem associated with the Monge-Ampère equation using neural networks and we show that an ansatz using deep input convex neural networks can be used to find the unique convex solution. As part of our a… ▽ More The Monge-Ampère equation is a fully nonlinear partial differential equation (PDE) of fundamental importance in analysis, geometry and in the applied sciences. In this paper we solve the Dirichlet problem associated with the Monge-Ampère equation using neural networks and we show that an ansatz using deep input convex neural networks can be used to find the unique convex solution. As part of our analysis we study the effect of singularities, discontinuities and noise in the source function, we consider nontrivial domains, and we investigate how the method performs in higher dimensions. We investigate the convergence numerically and present error estimates based on a stability result. We also compare this method to an alternative approach in which standard feed-forward networks are used together with a loss function which penalizes lack of convexity. △ Less

Submitted 13 June, 2023; v1 submitted 7 October, 2021; originally announced October 2021.

Comments: 33 pages, 13 figures, 6 tables

MSC Class: 35J96; 65N99; 68T07

On local regularity estimates for fractional powers of parabolic operators with time-dependent measurable coefficients

Authors: M. Litsgård, K. Nyström

Abstract: We consider fractional operators of the form $$\mathcal{H}^s=(\partial_t -\mathrm{div}_{x} ( A(x,t)\nabla_{x}))^s,\ (x,t)\in\mathbb R^n\times\mathbb R,$$ where $s\in (0,1)$ and $A=A(x,t)=\{A_{i,j}(x,t)\}_{i,j=1}^{n}$ is an accretive, bounded, complex, measurable, $n\times n$-dimensional matrix valued function. We study the fractional operators ${\mathcal{H}}^s$ and their relation to the initial va… ▽ More We consider fractional operators of the form $$\mathcal{H}^s=(\partial_t -\mathrm{div}_{x} ( A(x,t)\nabla_{x}))^s,\ (x,t)\in\mathbb R^n\times\mathbb R,$$ where $s\in (0,1)$ and $A=A(x,t)=\{A_{i,j}(x,t)\}_{i,j=1}^{n}$ is an accretive, bounded, complex, measurable, $n\times n$-dimensional matrix valued function. We study the fractional operators ${\mathcal{H}}^s$ and their relation to the initial value problem $$(λ^{1-2s}\mathrm{u}')'(λ) =λ^{1-2s}\mathcal{H} \mathrm{u}(λ), \quad λ\in (0, \infty),$$ $$\mathrm{u}(0) = u,$$ in $\mathbb R_+\times \mathbb R^n\times\mathbb R$. Exploring this type of relation, and making the additional assumption that $A=A(x,t)=\{A_{i,j}(x,t)\}_{i,j=1}^{n}$ is real, we derive some local properties of solutions to the non-local Dirichlet problem $$\mathcal{H}^su=(\partial_t -\mathrm{div}_{x} ( A(x,t)\nabla_{x}))^s u=0\ \mbox{ for $(x,t)\in Ω\times J$},$$ $$ u=f\ \mbox{ for $(x,t)\in \mathbb R^{n+1}\setminus (Ω\times J)$}. $$ Our contribution is that we allow for non-symmetric and time-dependent coefficients. △ Less

Submitted 3 October, 2022; v1 submitted 15 April, 2021; originally announced April 2021.

MSC Class: 35K10; 35K20 (Primary) 26A33; 42B25; 47D06 (Secondary)

Parabolic Singular Integrals with Nonhomogeneous Kernels

Authors: Simon Bortz, John Hoffman, Steve Hofmann, Jose-Luis Luna Garcia, Kaj Nystrom

Abstract: We establish $L^2$ boundedness of all "nice" parabolic singular integrals on "Good Parabolic Graphs", aka {\em regular} Lip(1,1/2) graphs. The novelty here is that we include non-homogeneous kernels, which are relevant to the theory of parabolic uniform rectifiability. Previously, the third named author had treated the case of homogeneous kernels. The present proof combines the methods of that wor… ▽ More We establish $L^2$ boundedness of all "nice" parabolic singular integrals on "Good Parabolic Graphs", aka {\em regular} Lip(1,1/2) graphs. The novelty here is that we include non-homogeneous kernels, which are relevant to the theory of parabolic uniform rectifiability. Previously, the third named author had treated the case of homogeneous kernels. The present proof combines the methods of that work (which in turn was based on methods described in Christ's CBMS lecture notes), with the techniques of Coifman-David-Meyer. This is a very preliminary draft. Eventually, these results will be part of a more extensive work on parabolic uniform rectifiability and singular integrals. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: This is a preliminary draft. Eventually, these results will be part of a more extensive work on parabolic uniform rectifiability and singular integrals. We post the file in its current form now, in response to several queries about the result and methods

MSC Class: 42B20

Carleson measure estimates for caloric functions and parabolic uniformly rectifiable sets

Authors: Simon Bortz, John Hoffman, Steve Hofmann, José Luis Luna Garcia, Kaj Nyström

Abstract: Let $E \subset \mathbb R^{n+1}$ be a parabolic uniformly rectifiable set. We prove that every bounded solution $u$ to $$\partial_tu- Δu=0, \quad \text{in} \quad \mathbb R^{n+1}\setminus E$$ satisfies a Carleson measure estimate condition. An important technical novelty of our work is that we develop a corona domain approximation scheme for $E$ in terms of regular Lip(1/2,1) graph domains. This app… ▽ More Let $E \subset \mathbb R^{n+1}$ be a parabolic uniformly rectifiable set. We prove that every bounded solution $u$ to $$\partial_tu- Δu=0, \quad \text{in} \quad \mathbb R^{n+1}\setminus E$$ satisfies a Carleson measure estimate condition. An important technical novelty of our work is that we develop a corona domain approximation scheme for $E$ in terms of regular Lip(1/2,1) graph domains. This approximation scheme has an analogous elliptic version which is an improvement of the known results in that setting. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Journal ref: Analysis & PDE 16 (2023) 1061-1088

Corona Decompositions for Parabolic Uniformly Rectifiable Sets

Authors: Simon Bortz, John Hoffman, Steve Hofmann, José Luis Luna Garcia, Kaj Nyström

Abstract: We prove that parabolic uniformly rectifiable sets admit (bilateral) corona decompositions with respect to regular Lip(1,1/2) graphs. Together with our previous work, this allows us to conclude that if $Σ\subset\mathbb{R}^{n+1}$ is parabolic Ahlfors-David regular, then the following statements are equivalent. (1) $Σ$ is parabolic uniformly rectifiable. (2) $Σ$ admits a corona decomposition wit… ▽ More We prove that parabolic uniformly rectifiable sets admit (bilateral) corona decompositions with respect to regular Lip(1,1/2) graphs. Together with our previous work, this allows us to conclude that if $Σ\subset\mathbb{R}^{n+1}$ is parabolic Ahlfors-David regular, then the following statements are equivalent. (1) $Σ$ is parabolic uniformly rectifiable. (2) $Σ$ admits a corona decomposition with respect to regular Lip(1,1/2) graphs. (3) $Σ$ admits a bilateral corona decomposition with respect to regular Lip(1,1/2) graphs. (4) $Σ$ is big pieces squared of regular Lip(1,1/2) graphs. △ Less

Submitted 7 February, 2023; v1 submitted 23 March, 2021; originally announced March 2021.

Comments: We have improved the exposition in section 4. In particular, we have treated the case where `contact set' in the Whitney-type construction is empty. This case seemed to be overlooked in David and Semmes' original construction, but only required a modest fix. We have also corrected the (egregious) typo in what is now equation (4.42), which now has $ε$ rather than $δ$

On Big Pieces approximations of parabolic hypersurfaces

Authors: Simon Bortz, John Hoffman, Steve Hofmann, Jose Luis Luna-Garcia, Kaj Nyström

Abstract: Let $Σ$ be a closed subset of $\mathbb{R}^ {n+1}$ which is parabolic Ahlfors-David regular and assume that $Σ$ satisfies a 2-sided corkscrew condition. Assume, in addition, that $Σ$ is either time-forwards Ahlfors-David regular, time-backwards Ahlfors-David regular, or parabolic uniform rectifiable. We then first prove that $Σ$ satisfies a {\it weak synchronized two cube condition}. Based on thi… ▽ More Let $Σ$ be a closed subset of $\mathbb{R}^ {n+1}$ which is parabolic Ahlfors-David regular and assume that $Σ$ satisfies a 2-sided corkscrew condition. Assume, in addition, that $Σ$ is either time-forwards Ahlfors-David regular, time-backwards Ahlfors-David regular, or parabolic uniform rectifiable. We then first prove that $Σ$ satisfies a {\it weak synchronized two cube condition}. Based on this we are able to revisit the argument in \cite{NS} and prove that $Σ$ contains {\it uniform big pieces of Lip(1,1/2) graphs}. When $Σ$ is parabolic uniformly rectifiable the construction can be refined and in this case we prove that $Σ$ contains {\it uniform big pieces of regular parabolic Lip(1,1/2) graphs}. Similar results hold if $Ω\subset\mathbb R^{n+1}$ is a connected component of $\mathbb R^{n+1}\setminusΣ$ and in this context we also give a parabolic counterpart of the main result in \cite{AHMNT} by proving that if $Ω$ is a one-sided parabolic chord arc domain, and if $Σ$ is parabolic uniformly rectifiable, then $Ω$ is in fact a parabolic chord arc domain. Our results give a flexible parabolic version of the classical (elliptic) result of G. David and D. Jerison concerning the existence of uniform big pieces of Lipschitz graphs for sets satisfying a two disc condition. △ Less

Submitted 23 February, 2021; originally announced February 2021.

The Dirichlet problem for Kolmogorov-Fokker-Planck type equations with rough coefficients

Authors: M. Litsgård, K. Nyström

Abstract: We establish the existence and uniqueness, in bounded as well as unbounded Lipschitz type cylinders of the forms $U_X\times V_{Y,t}$ and $Ω\times \mathbb R^{m}\times \mathbb R$, of weak solutions to Cauchy-Dirichlet problems for the strongly degenerate parabolic operator \[ \mathcal{L}:= \nabla_X\cdot(A(X,Y,t)\nabla_X)+X\cdot\nabla_Y-\partial_t, \] assuming that $A=A(X,Y,t)=\{a_{i,j}(X,Y,t)\}$ is… ▽ More We establish the existence and uniqueness, in bounded as well as unbounded Lipschitz type cylinders of the forms $U_X\times V_{Y,t}$ and $Ω\times \mathbb R^{m}\times \mathbb R$, of weak solutions to Cauchy-Dirichlet problems for the strongly degenerate parabolic operator \[ \mathcal{L}:= \nabla_X\cdot(A(X,Y,t)\nabla_X)+X\cdot\nabla_Y-\partial_t, \] assuming that $A=A(X,Y,t)=\{a_{i,j}(X,Y,t)\}$ is a real $m\times m$-matrix valued, measurable function such that $A(X,Y,t)$ is symmetric, bounded and uniformly elliptic. Subsequently we solve the continuous Dirichlet problem and establish the representation of the solution using associated parabolic measures. The paper is motivated, through our recent studies, arXiv:2012.03654, arXiv:2012.04278, arXiv:2012.07446, by a growing need and interest to gain a deeper understanding of the Dirichlet problem for the operator $\mathcal{L}$ in Lipschitz type domains. The key idea underlying our results is to prove, along the lines of Brezis and Ekeland, and in particular following the recent work of S. Armstrong and J-C. Mourrat, arXiv:1902.04037, concerning variational methods for the kinetic Fokker-Planck equation, that the solution can be obtained as the minimizer of a uniformly convex functional. △ Less

Submitted 1 December, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: We have updated the formulations of Theorem 1.3 and 1.4 to clearly state that we prove uniqueness of bounded weak solutions. This is clear from the proofs

MSC Class: 35K65; 35K70; 35H20; 35R03

A structure theorem for elliptic and parabolic operators with applications to homogenization of operators of Kolmogorov type

Authors: M. Litsgård, K. Nyström

Abstract: We consider the operators \[ \nabla_X\cdot(A(X)\nabla_X),\ \nabla_X\cdot(A(X)\nabla_X)-\partial_t,\ \nabla_X\cdot(A(X)\nabla_X)+X\cdot\nabla_Y-\partial_t, \] where $X\in Ω$, $(X,t)\in Ω\times \mathbb R$ and $(X,Y,t)\in Ω\times \mathbb R^m\times \mathbb R$, respectively, and where $Ω\subset\mathbb R^m$ is a (unbounded) Lipschitz domain with defining function $ψ:\mathbb R^{m-1}\to\mathbb R$ being… ▽ More We consider the operators \[ \nabla_X\cdot(A(X)\nabla_X),\ \nabla_X\cdot(A(X)\nabla_X)-\partial_t,\ \nabla_X\cdot(A(X)\nabla_X)+X\cdot\nabla_Y-\partial_t, \] where $X\in Ω$, $(X,t)\in Ω\times \mathbb R$ and $(X,Y,t)\in Ω\times \mathbb R^m\times \mathbb R$, respectively, and where $Ω\subset\mathbb R^m$ is a (unbounded) Lipschitz domain with defining function $ψ:\mathbb R^{m-1}\to\mathbb R$ being Lipschitz with constant bounded by $M$. Assume that the elliptic measure associated to the first of these operators is mutually absolutely continuous with respect to the surface measure $\mathrm{d} σ(X)$, and that the corresponding Radon-Nikodym derivative or Poisson kernel satisfies a scale invariant reverse Hölder inequality in $L^p$, for some fixed $p$, $1<p<\infty$, with constants depending only on the constants of $A$, $m$ and the Lipschitz constant of $ψ$, $M$. Under this assumption we prove that then the same conclusions are also true for the parabolic measures associated to the second and third operator with $\mathrm{d} σ(X)$ replaced by the surface measures $\mathrm{d} σ(X)\mathrm{d} t$ and $\mathrm{d} σ(X)\mathrm{d} Y\mathrm{d} t$, respectively. This structural theorem allows us to reprove several results previously established in the literature as well as to deduce new results in, for example, the context of homogenization for operators of Kolmogorov type. Our proof of the structural theorem is based on recent results established by the authors concerning boundary Harnack inequalities for operators of Kolmogorov type in divergence form with bounded, measurable and uniformly elliptic coefficients. △ Less

Submitted 11 June, 2023; v1 submitted 14 December, 2020; originally announced December 2020.

MSC Class: 35K65; 35K70; 35H20; 35R03

Journal ref: Analysis & PDE 16 (2023) 1547-1588

On the fine properties of parabolic measures associated to strongly degenerate parabolic operators of Kolmogorov type

Authors: M. Litsgård, K. Nyström

Abstract: We consider strongly degenerate parabolic operators of the form \[ \mathcal{L}:=\nabla_X\cdot(A(X,Y,t)\nabla_X)+X\cdot\nabla_Y-\partial_t \] in unbounded domains \[ Ω=\{(X,Y,t)=(x,x_{m},y,y_{m},t)\in\mathbb R^{m-1}\times\mathbb R\times\mathbb R^{m-1}\times\mathbb R\times\mathbb R\mid x_m>ψ(x,y,t)\}. \] We assume that $A=A(X,Y,t)$ is bounded, measurable and uniformly elliptic (as a matrix in… ▽ More We consider strongly degenerate parabolic operators of the form \[ \mathcal{L}:=\nabla_X\cdot(A(X,Y,t)\nabla_X)+X\cdot\nabla_Y-\partial_t \] in unbounded domains \[ Ω=\{(X,Y,t)=(x,x_{m},y,y_{m},t)\in\mathbb R^{m-1}\times\mathbb R\times\mathbb R^{m-1}\times\mathbb R\times\mathbb R\mid x_m>ψ(x,y,t)\}. \] We assume that $A=A(X,Y,t)$ is bounded, measurable and uniformly elliptic (as a matrix in $\mathbb R^{m}$) and concerning $ψ$ and $Ω$ we assume that $Ω$ is what we call an (unbounded) Lipschitz domain: $ψ$ satisfies a uniform Lipschitz condition adapted to the dilation structure and the (non-Euclidean) Lie group underlying the operator $\mathcal{L}$. We prove, assuming in addition that $ψ$ is independent of the variable $y_m$, that $ψ$ satisfies an additional regularity condition formulated in terms of a Carleson measure, and additional conditions on $A$, that the associated parabolic measure is absolutely continuous with respect to a surface measure and that the associated Radon-Nikodym derivative defines an $A_\infty$-weight with respect to the surface measure. △ Less

Submitted 8 December, 2020; originally announced December 2020.

MSC Class: 35K65; 35K70; 35H20; 35R03

Potential theory for a class of strongly degenerate parabolic operators of Kolmogorov type with rough coefficients

Authors: M. Litsgård, K. Nyström

Abstract: In this paper we develop a potential theory for strongly degenerate parabolic operators of the form \[ \mathcal{L}:=\nabla_X\cdot(A(X,Y,t)\nabla_X)+X\cdot\nabla_{Y}-\partial_t, \] in unbounded domains of the form \[ Ω=\{(X,Y,t)=(x,x_{m},y,y_{m},t)\in\mathbb R^{m-1}\times\mathbb R\times\mathbb R^{m-1}\times\mathbb R\times\mathbb R\mid x_m>ψ(x,y,y_m,t)\}, \] where $ψ$ is assumed to satisfy a uniform… ▽ More In this paper we develop a potential theory for strongly degenerate parabolic operators of the form \[ \mathcal{L}:=\nabla_X\cdot(A(X,Y,t)\nabla_X)+X\cdot\nabla_{Y}-\partial_t, \] in unbounded domains of the form \[ Ω=\{(X,Y,t)=(x,x_{m},y,y_{m},t)\in\mathbb R^{m-1}\times\mathbb R\times\mathbb R^{m-1}\times\mathbb R\times\mathbb R\mid x_m>ψ(x,y,y_m,t)\}, \] where $ψ$ is assumed to satisfy a uniform Lipschitz condition adapted to the dilation structure and the (non-Euclidean) Lie group underlying the operator $\mathcal{L}$. Concerning $A=A(X,Y,t)$ we assume that $A$ is bounded, measurable, symmetric and uniformly elliptic (as a matrix in $\mathbb R^{m}$). Beyond the solvability of the Dirichlet problem and other fundamental properties our results include scale and translation invariant boundary comparison principles, boundary Harnack inequalities and doubling properties of associated parabolic measures. All of our estimates are translation- and scale-invariant with constants only depending on the constants defining the boundedness and ellipticity of $A$ and the Lipschitz constant of $ψ$. Our results represent a version, for operators of Kolmogorov type with bounded, measurable coefficients, of the by now classical results of Fabes and Safonov, any several others, concerning boundary estimates for uniformly parabolic equations in (time-dependent) Lipschitz type domains. △ Less

Submitted 8 December, 2020; v1 submitted 7 December, 2020; originally announced December 2020.

MSC Class: 35K65; 35K70; 35H20; 35R03

Coronizations and big pieces in metric spaces

Authors: Simon Bortz, John Hoffman, Steve Hofmann, José Luis Luna Garcia, Kaj Nyström

Abstract: We prove that coronizations with respect to arbitrary d-regular sets (not necessarily graphs) imply big pieces squared of these (approximating) sets. This is known (and due to David and Semmes in the case of sufficiently large co-dimension, and to Azzam and Schul in general) in the (classical) setting of Euclidean spaces with Hausdorff measure of integer dimension, where the approximating sets are… ▽ More We prove that coronizations with respect to arbitrary d-regular sets (not necessarily graphs) imply big pieces squared of these (approximating) sets. This is known (and due to David and Semmes in the case of sufficiently large co-dimension, and to Azzam and Schul in general) in the (classical) setting of Euclidean spaces with Hausdorff measure of integer dimension, where the approximating sets are Lipschitz graphs. Our result is a far reaching generalization of these results and we prove that coronizations imply big pieces squared is a generic property. In particular, our result applies, when suitably interpreted, in metric spaces having a fixed positive (perhaps non-integer) dimension, equipped with a Borel regular measure and with arbitrary approximating sets. As a novel application we highlight how to utilize this general setting in the context of parabolic uniform rectifiability. △ Less

Submitted 9 September, 2020; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: Observation 4.19 added

Neural ODEs as the Deep Limit of ResNets with constant weights

Authors: Benny Avelin, Kaj Nyström

Abstract: In this paper we prove that, in the deep limit, the stochastic gradient descent on a ResNet type deep neural network, where each layer shares the same weight matrix, converges to the stochastic gradient descent for a Neural ODE and that the corresponding value/loss functions converge. Our result gives, in the context of minimization by stochastic gradient descent, a theoretical foundation for cons… ▽ More In this paper we prove that, in the deep limit, the stochastic gradient descent on a ResNet type deep neural network, where each layer shares the same weight matrix, converges to the stochastic gradient descent for a Neural ODE and that the corresponding value/loss functions converge. Our result gives, in the context of minimization by stochastic gradient descent, a theoretical foundation for considering Neural ODEs as the deep limit of ResNets. Our proof is based on certain decay estimates for associated Fokker-Planck equations. △ Less

Submitted 20 January, 2020; v1 submitted 28 June, 2019; originally announced June 2019.

MSC Class: 68T05 (Primary); 65L20 (Primary); 34A45 (Secondary); 35Q84 (Secondary); 62F10 (Secondary); 60H10 (Secondary)

Data-driven discovery of PDEs in complex datasets

Authors: Jens Berg, Kaj Nyström

Abstract: Many processes in science and engineering can be described by partial differential equations (PDEs). Traditionally, PDEs are derived by considering first principles of physics to derive the relations between the involved physical quantities of interest. A different approach is to measure the quantities of interest and use deep learning to reverse engineer the PDEs which are describing the physical… ▽ More Many processes in science and engineering can be described by partial differential equations (PDEs). Traditionally, PDEs are derived by considering first principles of physics to derive the relations between the involved physical quantities of interest. A different approach is to measure the quantities of interest and use deep learning to reverse engineer the PDEs which are describing the physical process. In this paper we use machine learning, and deep learning in particular, to discover PDEs hidden in complex data sets from measurement data. We include examples of data from a known model problem, and real data from weather station measurements. We show how necessary transformations of the input data amounts to coordinate transformations in the discovered PDE, and we elaborate on feature and model selection. It is shown that the dynamics of a non-linear, second order PDE can be accurately described by an ordinary differential equation which is automatically discovered by our deep learning algorithm. Even more interestingly, we show that similar results apply in the context of more complex simulations of the Swedish temperature distribution. △ Less

Submitted 31 August, 2018; originally announced August 2018.

Neural network augmented inverse problems for PDEs

Authors: Jens Berg, Kaj Nyström

Abstract: In this paper we show how to augment classical methods for inverse problems with artificial neural networks. The neural network acts as a prior for the coefficient to be estimated from noisy data. Neural networks are global, smooth function approximators and as such they do not require explicit regularization of the error functional to recover smooth solutions and coefficients. We give detailed ex… ▽ More In this paper we show how to augment classical methods for inverse problems with artificial neural networks. The neural network acts as a prior for the coefficient to be estimated from noisy data. Neural networks are global, smooth function approximators and as such they do not require explicit regularization of the error functional to recover smooth solutions and coefficients. We give detailed examples using the Poisson equation in 1, 2, and 3 space dimensions and show that the neural network augmentation is robust with respect to noisy and incomplete data, mesh, and geometry. △ Less

Submitted 14 September, 2018; v1 submitted 27 December, 2017; originally announced December 2017.

The Dirichlet problem for second order parabolic operators in divergence form

Authors: Pascal Auscher, Moritz Egert, Kaj Nyström

Abstract: We study parabolic operators H = $\partial$t -- div $λ$,x A(x, t)$\nabla$ $λ$,x in the parabolic upper half space R n+2 + = {($λ$, x, t) : $λ$ > 0}. We assume that the coefficients are real, bounded, measurable, uniformly elliptic, but not necessarily symmetric. We prove that the associated parabolic measure is absolutely continuous with respect to the surface measure on R n+1 in the sense defined… ▽ More We study parabolic operators H = $\partial$t -- div $λ$,x A(x, t)$\nabla$ $λ$,x in the parabolic upper half space R n+2 + = {($λ$, x, t) : $λ$ > 0}. We assume that the coefficients are real, bounded, measurable, uniformly elliptic, but not necessarily symmetric. We prove that the associated parabolic measure is absolutely continuous with respect to the surface measure on R n+1 in the sense defined by A$\infty$(dx dt). Our argument also gives a simplified proof of the corresponding result for elliptic measure. △ Less

Submitted 12 August, 2021; v1 submitted 3 November, 2016; originally announced November 2016.

Comments: Upload of the published version

Journal ref: Journal de l'{É}cole polytechnique - Math{é}matiques, {É}cole polytechnique, 2018, 5, pp.407-441. \&\#x27E8;10.5802/jep.74\&\#x27E9

$L^2$ well-posedness of boundary value problems for parabolic systems with measurable coefficients

Authors: Pascal Auscher, Moritz Egert, Kaj Nyström

Abstract: We prove the first positive results concerning boundary value problems in the upper half-space of second order parabolic systems only assuming measurability and some transversal regularity in the coefficients of the elliptic part. To do so, we introduce and develop a first order strategy by means of a parabolic Dirac operator at the boundary to obtain, in particular, Green's representation for… ▽ More We prove the first positive results concerning boundary value problems in the upper half-space of second order parabolic systems only assuming measurability and some transversal regularity in the coefficients of the elliptic part. To do so, we introduce and develop a first order strategy by means of a parabolic Dirac operator at the boundary to obtain, in particular, Green's representation for solutions in natural classes involving square functions and non-tangential maximal functions, well-posedness results with data in $L^2$-Sobolev spaces together with invertibility of layer potentials, and perturbation results. In the way, we solve the Kato square root problem for parabolic operators with coefficients of the elliptic part depending measurably on all variables. The major new challenge, compared to the earlier results by one of us under time and transversally independence of the coefficients, is to handle non-local half-order derivatives in time which are unavoidable in our situation. △ Less

Submitted 12 August, 2021; v1 submitted 21 July, 2016; originally announced July 2016.

Comments: Upload of the published version

Journal ref: Journal of the European Mathematical Society, European Mathematical Society, 2020, 22 (9), pp.2943-3058. \&\#x27E8;10.4171/JEMS/980\&\#x27E9

$L^2$ Solvability of boundary value problems for divergence form parabolic equations with complex coefficients

Authors: Kaj Nyström

Abstract: We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We assume that $A$ is a $(n+1)\times (n+1)$-dimensional matrix which is bounded, measurable, uniformly elliptic and complex, and we assume, in addition, that the entr… ▽ More We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We assume that $A$ is a $(n+1)\times (n+1)$-dimensional matrix which is bounded, measurable, uniformly elliptic and complex, and we assume, in addition, that the entries of A are independent of the spatial coordinate $x_{n+1}$ as well as of the time coordinate $t$. For such operators we prove that the boundedness and invertibility of the corresponding layer potential operators are stable on $L^2(\mathbb R^{n+1},\mathbb C)=L^2(\partial\mathbb R^{n+2}_+,\mathbb C)$ under complex, $L^\infty$ perturbations of the coefficient matrix. Subsequently, using this general result, we establish solvability of the Dirichlet, Neumann and Regularity problems for $\partial_t+\mathcal{L}$, by way of layer potentials and with data in $L^2$, assuming that the coefficient matrix is a small complex perturbation of either a constant matrix or of a real and symmetric matrix. △ Less

Submitted 9 March, 2016; originally announced March 2016.

Comments: Submitted

The weak-$A_\infty$ property of harmonic and $p$-harmonic measures implies uniform rectifiability

Authors: Steve Hofmann, Phi Le, José María Martell, Kaj Nyström

Abstract: Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an Ahlfors-David regular set of dimension $n$. We show that the weak-$A_\infty$ property of harmonic measure, for the open set $Ω:= \mathbb{R}^{n+1}\setminus E$, implies uniform rectifiability of $E$. More generally, we establish a similar result for the Riesz measure, $p$-harmonic measure, associated to the $p$-Laplace operator, $1<p<\infty$. Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an Ahlfors-David regular set of dimension $n$. We show that the weak-$A_\infty$ property of harmonic measure, for the open set $Ω:= \mathbb{R}^{n+1}\setminus E$, implies uniform rectifiability of $E$. More generally, we establish a similar result for the Riesz measure, $p$-harmonic measure, associated to the $p$-Laplace operator, $1<p<\infty$. △ Less

Submitted 30 November, 2015; originally announced November 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1505.06499

MSC Class: 31B05; 31B25; 35J08; 42B25; 42B37; 28A75; 28A78

Journal ref: Analysis & PDE 10 (2017), no. 3, 513--558

Boundedness of single layer potentials associated to divergence form parabolic equations with complex coefficients

Authors: Alejandro J. Castro, Kaj Nyström, Olow Sande

Abstract: We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}:=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We assume that $A$ is a $(n+1)\times (n+1)$-dimensional matrix which is bounded, measurable, uniformly elliptic and complex, and we assume, in addition, that the ent… ▽ More We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}:=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We assume that $A$ is a $(n+1)\times (n+1)$-dimensional matrix which is bounded, measurable, uniformly elliptic and complex, and we assume, in addition, that the entries of A are independent of the spatial coordinate $x_{n+1}$ as well as of the time coordinate $t$. We prove that the boundedness of associated single layer potentials, with data in $L^2$, can be reduced to two crucial estimates, one being a square function estimate involving the single layer potential. By establishing a local parabolic Tb-theorem for square functions we are then able to verify the two crucial estimates in the case of real, symmetric operators. As part of this argument we establish a scale-invariant reverse H{ö}lder inequality for the parabolic Poisson kernel. Our results are important when addressing the solvability of the classical Dirichlet, Neumann and Regularity problems for the operator $\partial_t+\mathcal{L}$ in $\mathbb R_+^{n+2}$, with $L^2$-data on $\mathbb R^{n+1}=\partial\mathbb R_+^{n+2}$, and by way of layer potentials. △ Less

Submitted 1 June, 2016; v1 submitted 11 November, 2015; originally announced November 2015.

Journal ref: Calc. Var. Partial Differ. Equ. 55 (2016), 1-49

Extension Properties and Boundary Estimates for a Fractional Heat Operator

Authors: K. Nyström, O. Sande

Abstract: The square root of the heat operator $\sqrt{\partial_t-Δ}$, can be realized as the Dirichlet to Neumann map of the heat extension of data on $\mathbb R^{n+1}$ to $\mathbb R^{n+2}_+$. In this note we obtain similar characterizations for general fractional powers of the heat operator, $(\partial_t-Δ)^s$, $s\in (0,1)$. Using the characterizations we derive properties and boundary estimates for parabo… ▽ More The square root of the heat operator $\sqrt{\partial_t-Δ}$, can be realized as the Dirichlet to Neumann map of the heat extension of data on $\mathbb R^{n+1}$ to $\mathbb R^{n+2}_+$. In this note we obtain similar characterizations for general fractional powers of the heat operator, $(\partial_t-Δ)^s$, $s\in (0,1)$. Using the characterizations we derive properties and boundary estimates for parabolic integro-differential equations from purely local arguments in the extension problem. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Boundary behavior of solutions to the parabolic p-Laplace equation

Authors: Benny Avelin, Kaj Nyström, Tuomo Kuusi

Abstract: 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 pri… ▽ More 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. △ Less

Submitted 28 October, 2015; originally announced October 2015.

MSC Class: 35K20; 35K65; 35B65

Journal ref: Analysis & PDE 12 (2019) 1-42

Reflected BSDE of Wiener-Poisson type in Time-dependent Domains

Authors: Kaj Nyström, Marcus Olofsson

Abstract: In this paper we study multi-dimensional reflected backward stochastic differential equations driven by Wiener-Poisson type processes. We prove existence and uniqueness of solutions, with reflection in the inward spatial normal direction, in the setting of certain time-dependent domains. In this paper we study multi-dimensional reflected backward stochastic differential equations driven by Wiener-Poisson type processes. We prove existence and uniqueness of solutions, with reflection in the inward spatial normal direction, in the setting of certain time-dependent domains. △ Less

Submitted 11 March, 2015; originally announced March 2015.

Tug-of-war, market manipulation and option pricing

Authors: Kaj Nyström, Mikko Parviainen

Abstract: We develop an option pricing model based on a tug-of-war game. This two-player zero-sum stochastic differential game is formulated in the context of a multi-dimensional financial market. The issuer and the holder try to manipulate asset price processes in order to minimize and maximize the expected discounted reward. We prove that the game has a value and that the value function is the unique visc… ▽ More We develop an option pricing model based on a tug-of-war game. This two-player zero-sum stochastic differential game is formulated in the context of a multi-dimensional financial market. The issuer and the holder try to manipulate asset price processes in order to minimize and maximize the expected discounted reward. We prove that the game has a value and that the value function is the unique viscosity solution to a terminal value problem for a parabolic partial differential equation involving the non-linear and completely degenerate infinity Laplace operator. △ Less

Submitted 7 October, 2014; originally announced October 2014.

MSC Class: 91G80; 91A15; 91A23; 60H15; 49L25; 35K59

A new characterization of chord-arc domains

Authors: Jonas Azzam, Steve Hofmann, José María Martell, Kaj Nyström, Tatiana Toro

Abstract: We show that if $Ω\subset \mathbb{R}^{n+1}$, $n\geq 1$, is a uniform domain (aka 1-sided NTA domain), i.e., a domain which enjoys interior Corkscrew and Harnack Chain conditions, then uniform rectifiability of the boundary of $Ω$ implies the existence of exterior Corkscrew points at all scales, so that in fact, $Ω$ is a chord-arc domain, i.e., a domain with an Ahlfors-David regular boundary which… ▽ More We show that if $Ω\subset \mathbb{R}^{n+1}$, $n\geq 1$, is a uniform domain (aka 1-sided NTA domain), i.e., a domain which enjoys interior Corkscrew and Harnack Chain conditions, then uniform rectifiability of the boundary of $Ω$ implies the existence of exterior Corkscrew points at all scales, so that in fact, $Ω$ is a chord-arc domain, i.e., a domain with an Ahlfors-David regular boundary which satisfies both interior and exterior Corkscrew conditions, and an interior Harnack Chain condition. We discuss some implications of this result, for theorems of F. and M. Riesz type, and for certain free boundary problems. △ Less

Submitted 10 June, 2014; originally announced June 2014.

MSC Class: 28A75; 28A78; 31A15; 31B05; 35J25; 42B37; 49Q15

Journal ref: J. Eur. Math. Soc. (JEMS) 19 (2017), no. 4, 967--981

Optimal Switching Problems under Partial Information

Authors: Kai Li, Kaj Nyström, Marcus Olofsson

Abstract: In this paper we formulate and study an optimal switching problem under partial information. In our model the agent/manager/investor attempts to maximize the expected reward by switching between different states/investments. However, he is not fully aware of his environment and only an observation process, which contains partial information about the environment/underlying, is accessible. It is ba… ▽ More In this paper we formulate and study an optimal switching problem under partial information. In our model the agent/manager/investor attempts to maximize the expected reward by switching between different states/investments. However, he is not fully aware of his environment and only an observation process, which contains partial information about the environment/underlying, is accessible. It is based on the partial information carried by this observation process that all decisions must be made. We propose a probabilistic numerical algorithm based on dynamic programming, regression Monte Carlo methods, and stochastic filtering theory to compute the value function. In this paper, the approximation of the value function and the corresponding convergence result are obtained when the underlying and observation processes satisfy the linear Kalman-Bucy setting. A numerical example is included to show some specific features of partial information. △ Less

Submitted 7 March, 2014; originally announced March 2014.

A framework for the modeling of order book dynamics based on event sizes

Authors: Kaj Nyström, Sidi Mohamed Ould Aly

Abstract: We propose a modeling framework for the dynamics of a reduced form order book in event time and based on event sizes. Our framework for the order book is influenced by [9], but compared to [9] we allow the best bid ask spread to be larger than one tick. Based on the modeling assumption that the best bid as well as the best ask price can only move by at most one tick (up or down), when an event occ… ▽ More We propose a modeling framework for the dynamics of a reduced form order book in event time and based on event sizes. Our framework for the order book is influenced by [9], but compared to [9] we allow the best bid ask spread to be larger than one tick. Based on the modeling assumption that the best bid as well as the best ask price can only move by at most one tick (up or down), when an event occurs, we show that the dynamics of this simplified order book is completely described by a non-linear transformation of two processes (X, Y ). A key challenge in the modeling is the empirical fact that the high frequency order flow is strongly autocorrelated, a fact we have to deal with in the modeling of (X, Y ). The core of our framework is a semi linear regression type model for (X, Y ), influence by more classical ARMA and AR models, and one key degree of freedom is the potentially non-linear basis functions used in the regression. We use results from the theory of random iterative function systems to understand issues concerning stationarity and ergodicity in our models. We show how to rapidly calibrate the model by inverting block Toeplitz matrices in an efficient way. All components are worked through and explain in an application and the predictability of the model for order flows and price moves are analyzed in the context of a high frequency dataset. △ Less

Submitted 20 February, 2014; v1 submitted 29 November, 2013; originally announced November 2013.

Harnack estimates for degenerate parabolic equations modeled on the subelliptic p-Laplacian

Authors: Benny Avelin, Luca Capogna, Giovanna Citti, Kaj Nystrom

Abstract: We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype {equation*} \partial_tu= -\sum_{i=1}^{m}X_i^\ast (|\X u|^{p-2} X_i u){equation*} where $p\ge 2$, $ \ \X = (X_1,..., X_m)$ is a system of Lipschitz vector fields defined on a smooth manifold $\M$ endowed with a Borel measure $μ$, and $X_i^*$ denotes the adjoint of $X_i$ with respect to $μ$. Our estimates ar… ▽ More We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype {equation*} \partial_tu= -\sum_{i=1}^{m}X_i^\ast (|\X u|^{p-2} X_i u){equation*} where $p\ge 2$, $ \ \X = (X_1,..., X_m)$ is a system of Lipschitz vector fields defined on a smooth manifold $\M$ endowed with a Borel measure $μ$, and $X_i^*$ denotes the adjoint of $X_i$ with respect to $μ$. Our estimates are derived assuming that (i) the control distance $d$ generated by $\X$ induces the same topology on $\M$; (ii) a doubling condition for the $μ$-measure of $d-$metric balls and (iii) the validity of a Poincaré inequality involving $\X$ and $μ$. Our results extend the recent work in \cite{DiBenedettoGianazzaVespri1}, \cite{K}, to a more general setting including the model cases of (1) metrics generated by Hörmander vector fields and Lebesgue measure; (2) Riemannian manifolds with non-negative Ricci curvature and Riemannian volume forms; and (3) metrics generated by non-smooth Baouendi-Grushin type vector fields and Lebesgue measure. In all cases the Harnack inequality continues to hold when the Lebesgue measure is substituted by any smooth volume form or by measures with densities corresponding to Muckenhoupt type weights. △ Less

Submitted 24 June, 2013; originally announced June 2013.

MSC Class: 35H20

Systems of variational inequalities for non-local operators related to optimal switching problems: Existence and uniqueness

Authors: Niklas L. P. LundstrÖm, Kaj NystrÖm, Marcus Olofsson

Abstract: In this paper we study a system of variational inequalities where the operator is non-local, possibly degenerate and of second order. A special case of this type of problem occurs in the context of optimal switching problems when the dynamics of the underlying state variables is described by an N-dimensional Levy process. We establish a general comparison principle for viscosity sub- and supersolu… ▽ More In this paper we study a system of variational inequalities where the operator is non-local, possibly degenerate and of second order. A special case of this type of problem occurs in the context of optimal switching problems when the dynamics of the underlying state variables is described by an N-dimensional Levy process. We establish a general comparison principle for viscosity sub- and supersolutions to the system under mild regularity, growth and structural assumptions on the data. Using the comparison principle we then prove the existence of a unique viscosity solution to the system by Perron's method. Our main contribution is that we establish existence and uniqueness of viscosity solutions, in the setting of Levy processes and non-local operators, with no sign assumption on the switching costs and allowing them to depend on x as well as t. △ Less

Submitted 8 July, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

Cauchy integrals for the p-Laplace equation in planar Lipschitz domains

Authors: Kaj Nyström, Andreas Rosén

Abstract: We construct solutions to p-Laplace type equations in unbounded Lipschitz domains in the plane with prescribed boundary data in appropriate fractional Sobolev spaces. Our approach builds on a Cauchy integral representation formula for solutions. We construct solutions to p-Laplace type equations in unbounded Lipschitz domains in the plane with prescribed boundary data in appropriate fractional Sobolev spaces. Our approach builds on a Cauchy integral representation formula for solutions. △ Less

Submitted 27 February, 2014; v1 submitted 27 May, 2013; originally announced May 2013.

Comments: Error in proof corrected

The Skorohod oblique reflection problem in time-dependent domains

Authors: Kaj Nyström, Thomas Önskog

Abstract: The deterministic Skorohod problem plays an important role in the construction and analysis of diffusion processes with reflection. In the form studied here, the multidimensional Skorohod problem was introduced, in time-independent domains, by H. Tanaka [61] and further investigated by P.-L. Lions and A.-S. Sznitman [42] in their celebrated article. Subsequent results of several researchers have r… ▽ More The deterministic Skorohod problem plays an important role in the construction and analysis of diffusion processes with reflection. In the form studied here, the multidimensional Skorohod problem was introduced, in time-independent domains, by H. Tanaka [61] and further investigated by P.-L. Lions and A.-S. Sznitman [42] in their celebrated article. Subsequent results of several researchers have resulted in a large literature on the Skorohod problem in time-independent domains. In this article we conduct a thorough study of the multidimensional Skorohod problem in time-dependent domains. In particular, we prove the existence of càdlàg solutions $(x,λ)$ to the Skorohod problem, with oblique reflection, for $(D,Γ,w)$ assuming, in particular, that $D$ is a time-dependent domain (Theorem 1.2). In addition, we prove that if $w$ is continuous, then $x$ is continuous as well (Theorem 1.3). Subsequently, we use the established existence results to construct solutions to stochastic differential equations with oblique reflection (Theorem 1.9) in time-dependent domains. In the process of proving these results we establish a number of estimates for solutions to the Skorohod problem with bounded jumps and, in addition, several results concerning the convergence of sequences of solutions to Skorohod problems in the setting of time-dependent domains. △ Less

Submitted 10 November, 2010; originally announced November 2010.

Comments: Published in at http://dx.doi.org/10.1214/10-AOP538 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP538

Journal ref: Annals of Probability 2010, Vol. 38, No. 6, 2170-2223

Non-divergence form parabolic equations associated with non-commuting vector fields: Boundary behavior of nonnegative solutions

Authors: M. Frentz, N. Garofalo, E. Götmark, I. Munive, K. Nyström

Abstract: In a cylinder $Ω_T=Ω\times (0,T)\subset \R^{n+1}_+$ we study the boundary behavior of nonnegative solutions of second order parabolic equations of the form \[ Hu =\sum_{i,j=1}^ma_{ij}(x,t) X_iX_ju - \p_tu = 0, \ (x,t)\in\R^{n+1}_+, \] where $X=\{X_1,...,X_m\}$ is a system of $C^\infty$ vector fields in $\Rn$ satisfying Hörmander's finite rank condition \eqref{frc}, and $Ω$ is a non-tangentially ac… ▽ More In a cylinder $Ω_T=Ω\times (0,T)\subset \R^{n+1}_+$ we study the boundary behavior of nonnegative solutions of second order parabolic equations of the form \[ Hu =\sum_{i,j=1}^ma_{ij}(x,t) X_iX_ju - \p_tu = 0, \ (x,t)\in\R^{n+1}_+, \] where $X=\{X_1,...,X_m\}$ is a system of $C^\infty$ vector fields in $\Rn$ satisfying Hörmander's finite rank condition \eqref{frc}, and $Ω$ is a non-tangentially accessible domain with respect to the Carnot-Carathéodory distance $d$ induced by $X$. Concerning the matrix-valued function $A=\{a_{ij}\}$, we assume that it be real, symmetric and uniformly positive definite. Furthermore, we suppose that its entries $a_{ij}$ be Hölder continuous with respect to the parabolic distance associated with $d$. Our main results are: 1) a backward Harnack inequality for nonnegative solutions vanishing on the lateral boundary (Theorem \ref{T:back}); 2) the Hölder continuity up to the boundary of the quotient of two nonnegative solutions which vanish continuously on a portion of the lateral boundary (Theorem \ref{T:quotients}); 3) the doubling property for the parabolic measure associated with the operator $H$ (Theorem \ref{T:doubling}). These results generalize to the subelliptic setting of the present paper, those in Lipschitz cylinders by Fabes, Safonov and Yuan in [FSY] and [SY]. With one proviso: in those papers the authors assume that the coefficients $a_{ij}$ be only bounded and measurable, whereas we assume Hölder continuity with respect to the intrinsic parabolic distance. △ Less

Submitted 30 August, 2010; originally announced August 2010.

MSC Class: 31C05; 35C15; 65N99

p Harmonic Measure in Simply Connected Domains

Authors: John Lewis, Kaj Nyström, Pietro Poggi-Corradini

Abstract: We extend to all planar simply connected domains Makarov-type results about the Hausdorff dimension of $p$-harmonic measure pioneered by Lewis and Bennewitz in the context of quasidisks. The key to our analysis is a gradient estimate using the distance to the boundary and constants that only depend on $p$. This is achieved by studying the conformal map from the unit disk to the simply connecte… ▽ More We extend to all planar simply connected domains Makarov-type results about the Hausdorff dimension of $p$-harmonic measure pioneered by Lewis and Bennewitz in the context of quasidisks. The key to our analysis is a gradient estimate using the distance to the boundary and constants that only depend on $p$. This is achieved by studying the conformal map from the unit disk to the simply connected domain to construct good quasicurves from a point in the domain to the boundary. △ Less

Submitted 30 January, 2009; originally announced February 2009.

MSC Class: 35J25; 35J70