-
Unbounded rough drivers, rough PDEs and applications
Authors:
Antoine Hocquet,
Martina Hofmanova,
Torstein Nilssen
Abstract:
A summary of recent contributions in the field of rough partial differential equations is given. For that purpose we rely on the formalism of ``unbounded rough driver''. We present applications to concrete models including Landau-Lifshitz-Gilbert, Navier-Stokes and Euler equations.
A summary of recent contributions in the field of rough partial differential equations is given. For that purpose we rely on the formalism of ``unbounded rough driver''. We present applications to concrete models including Landau-Lifshitz-Gilbert, Navier-Stokes and Euler equations.
△ Less
Submitted 4 March, 2025; v1 submitted 2 January, 2025;
originally announced January 2025.
-
Quasilinear rough evolution equations
Authors:
Antoine Hocquet,
Alexandra Neamţu
Abstract:
We investigate the abstract Cauchy problem for a quasilinear parabolic equation in a Banach space of the form \( du_t -L_t(u_t)u_t dt = N_t(u_t)dt + F(u_t)\cdot d\mathbf X_t \), where \( \mathbf X\) is a \( γ\)-Hölder rough path for \( γ\in(1/3,1/2)\). We explore the mild formulation that combines functional analysis techniques and controlled rough paths theory which entail the local well-posednes…
▽ More
We investigate the abstract Cauchy problem for a quasilinear parabolic equation in a Banach space of the form \( du_t -L_t(u_t)u_t dt = N_t(u_t)dt + F(u_t)\cdot d\mathbf X_t \), where \( \mathbf X\) is a \( γ\)-Hölder rough path for \( γ\in(1/3,1/2)\). We explore the mild formulation that combines functional analysis techniques and controlled rough paths theory which entail the local well-posedness of such equations. We apply our results to the stochastic Landau-Lifshitz-Gilbert and Shigesada-Kawasaki-Teramoto equation. In this framework we obtain a random dynamical system associated to the Landau-Lifshitz-Gilbert equation.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
An application of the multiplicative Sewing Lemma to the high order weak approximation of stochastic differential equations
Authors:
Antoine Hocquet,
Alexander Vogler
Abstract:
We introduce a variant of the multiplicative Sewing Lemma in [Gerasimovičs, Hocquet, Nilssen; J. Funct. Anal. 281 (2021)] which yields arbitrary high order weak approximations to stochastic differential equations, extending the cubature approximation on Wiener space introduced by Lyons and Victoir. Our analysis allows to derive stability estimates and explicit weak convergence rates. As a particul…
▽ More
We introduce a variant of the multiplicative Sewing Lemma in [Gerasimovičs, Hocquet, Nilssen; J. Funct. Anal. 281 (2021)] which yields arbitrary high order weak approximations to stochastic differential equations, extending the cubature approximation on Wiener space introduced by Lyons and Victoir. Our analysis allows to derive stability estimates and explicit weak convergence rates. As a particular example, a cubature approximation for stochastic differential equations driven by continuous Gaussian martingales is given.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Rough stochastic differential equations
Authors:
Peter K. Friz,
Antoine Hocquet,
Khoa Lê
Abstract:
We establish a simultaneous generalization of Itô's theory of stochastic and Lyons' theory of rough differential equations. The interest in such a unification comes from a variety of applications, including pathwise stochastic filtering, - control and the conditional analysis of stochastic systems with common noise.
We establish a simultaneous generalization of Itô's theory of stochastic and Lyons' theory of rough differential equations. The interest in such a unification comes from a variety of applications, including pathwise stochastic filtering, - control and the conditional analysis of stochastic systems with common noise.
△ Less
Submitted 13 August, 2024; v1 submitted 18 June, 2021;
originally announced June 2021.
-
A pathwise stochastic Landau-Lifshitz-Gilbert equation with application to large deviations
Authors:
Emanuela Gussetti,
Antoine Hocquet
Abstract:
Using a rough path formulation, we investigate existence, uniqueness and regularity for the stochastic Landau-Lifshitz-Gilbert equation with Stratonovich noise on the one dimensional torus. As a main result we show the continuity of the so-called Itô-Lyons map in the energy spaces $L^\infty(0,T;H^k)\cap L^2(0,T;H^{k+1})$ for any $k\ge1$. The proof proceeds in two steps. First, based on an energy e…
▽ More
Using a rough path formulation, we investigate existence, uniqueness and regularity for the stochastic Landau-Lifshitz-Gilbert equation with Stratonovich noise on the one dimensional torus. As a main result we show the continuity of the so-called Itô-Lyons map in the energy spaces $L^\infty(0,T;H^k)\cap L^2(0,T;H^{k+1})$ for any $k\ge1$. The proof proceeds in two steps. First, based on an energy estimate in the aforementioned space together with a compactness argument we prove existence of a unique solution, implying the continuous dependence in a weaker norm. This is then strengthened in the second step where the continuity in the optimal norm is established through an application of the rough Gronwall lemma. Our approach is direct and does not rely on any transformation formula, which permits to treat multidimensional noise. As an easy consequence we then deduce a Wong-Zakai type result, a large deviation principle for the solution and a support theorem.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Optimal control of mean field equations with monotone coefficients and applications in neuroscience
Authors:
Antoine Hocquet,
Alexander Vogler
Abstract:
We are interested in the optimal control problem associated with certain quadratic cost functionals depending on the solution $X=X^α$ of the stochastic mean-field type evolution equation in $\mathbb R^d$ $dX_t=b(t,X_t,\mathcal L(X_t),α_t)dt+σ(t,X_t,\mathcal L(X_t),α_t)dW_t,$ $X_0\sim μ$ given, under assumptions that enclose a sytem of FitzHugh-Nagumo neuron networks, and where for practical purpos…
▽ More
We are interested in the optimal control problem associated with certain quadratic cost functionals depending on the solution $X=X^α$ of the stochastic mean-field type evolution equation in $\mathbb R^d$ $dX_t=b(t,X_t,\mathcal L(X_t),α_t)dt+σ(t,X_t,\mathcal L(X_t),α_t)dW_t,$ $X_0\sim μ$ given, under assumptions that enclose a sytem of FitzHugh-Nagumo neuron networks, and where for practical purposes the control $α_t$ is deterministic. To do so, we assume that we are given a drift coefficient that satisfies a one-sided Lipshitz condition, and that the dynamics is subject to a (convex) level set constraint of the form $π(X_t)\leq0$. The mathematical treatment we propose follows the lines of the recent monograph of Carmona and Delarue for similar control problems with Lipshitz coefficients. After addressing the existence of minimizers via a martingale approach, we show a maximum principle and then numerically investigate a gradient algorithm for the approximation of the optimal control.
△ Less
Submitted 2 July, 2020;
originally announced July 2020.
-
Non-autonomous rough semilinear PDEs and the multiplicative Sewing Lemma
Authors:
Andris Gerasimovics,
Antoine Hocquet,
Torstein Nilssen
Abstract:
We investigate existence, uniqueness and regularity for local solutions of rough parabolic equations with subcritical noise of the form $du_t- L_tu_tdt= N(u_t)dt + \sum_{i = 1}^dF_i(u_t)d\mathbf X^i_t$ where $(L_t)_{t\in[0,T]}$ is a time-dependent family of unbounded operators acting on some scale of Banach spaces, while $\mathbf X\equiv(X,\mathbb X)$ is a two-step (non-necessarily geometric) roug…
▽ More
We investigate existence, uniqueness and regularity for local solutions of rough parabolic equations with subcritical noise of the form $du_t- L_tu_tdt= N(u_t)dt + \sum_{i = 1}^dF_i(u_t)d\mathbf X^i_t$ where $(L_t)_{t\in[0,T]}$ is a time-dependent family of unbounded operators acting on some scale of Banach spaces, while $\mathbf X\equiv(X,\mathbb X)$ is a two-step (non-necessarily geometric) rough path of Hölder regularity $γ>1/3.$ Besides dealing with non-autonomous evolution equations, our results also allow for unbounded operations in the noise term (up to some critical loss of regularity depending on that of the rough path $\mathbf X$). As a technical tool, we introduce a version of the multiplicative sewing lemma, which allows to construct the so-called product integrals in infinite dimensions. We later use it to construct a semigroup analogue for the non-autonomous linear PDEs as well as show how to deduce the semigroup version of the usual sewing lemma from it.
△ Less
Submitted 20 August, 2021; v1 submitted 31 July, 2019;
originally announced July 2019.
-
Existence, uniqueness and regularity for the stochastic Ericksen-Leslie equation
Authors:
Anne De Bouard,
Antoine Hocquet,
Andreas Prohl
Abstract:
We investigate existence and uniqueness for the stochastic liquid crystal flow driven by colored noise on the two-dimensional torus. After giving a natural uniqueness criterion, we prove local solvability in $L^p$-based spaces, for every $p>2.$ Thanks to a bootstrap principle together with a Gyöngy-Krylov-type compactness argument, this will ultimately lead us to prove the existence of a particula…
▽ More
We investigate existence and uniqueness for the stochastic liquid crystal flow driven by colored noise on the two-dimensional torus. After giving a natural uniqueness criterion, we prove local solvability in $L^p$-based spaces, for every $p>2.$ Thanks to a bootstrap principle together with a Gyöngy-Krylov-type compactness argument, this will ultimately lead us to prove the existence of a particular class of global solutions which are partially regular, strong in the probabilistic sense, and taking values in the "critical space" $L^2\times H^1.$
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Computational Chemistry as Voodoo Quantum Mechanics : Models, Parameterization, and Software
Authors:
Frédéric Wieber,
Alexandre Hocquet
Abstract:
Computational chemistry grew in a new era of "desktop modeling", which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the lack of epistemic transparency of paramet…
▽ More
Computational chemistry grew in a new era of "desktop modeling", which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the lack of epistemic transparency of parameterized methods and the software implementing them. To explicit these tensions, we rely on a corpus which is suited for revealing them, namely the Computational Chemistry mailing List (CCL), a professional scientific discussion forum. We relate one flame war from this corpus in order to assess in detail the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are a source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
"Only the Initiates Will Have the Secrets Revealed": Computational Chemists and the Openness of Scientific Software
Authors:
Alexandre Hocquet,
Frédéric Wieber
Abstract:
Computational chemistry is a scientific field within which the computer is a pivotal element. This scientific community emerged in the 1980s and was involved with two major industries: the computer manufacturers and the pharmaceutical industry, the latter becoming a potential market for the former through molecular modeling software packages. We aim to address the difficult relationships between s…
▽ More
Computational chemistry is a scientific field within which the computer is a pivotal element. This scientific community emerged in the 1980s and was involved with two major industries: the computer manufacturers and the pharmaceutical industry, the latter becoming a potential market for the former through molecular modeling software packages. We aim to address the difficult relationships between scientific modeling methods and the software implementing these methods throughout the 1990s. Developing, using, licensing, and distributing software leads to multiple tensions among the actors in intertwined academic and industrial contexts. The Computational Chemistry mailing List (CCL), created in 1991, constitutes a valuable corpus for revealing the tensions associated with software within the community. We analyze in detail two flame wars that exemplify these tensions. We conclude that models and software must be addressed together. Interrelations between both imply that openness in computational science is complex.
△ Less
Submitted 23 November, 2018;
originally announced November 2018.
-
Quasilinear rough partial differential equations with transport noise
Authors:
Antoine Hocquet
Abstract:
We investigate the Cauchy problem for a quasilinear equation with transport rough input of the form $\mathrm{d} u-\partial_i(a^{ij}(u)\partial_j u)\mathrm{d} t =\mathrm{d} \mathbf{X}_t^i(x)\partial_i u_t,$ $u_0\in L^2$ on the torus $\mathbb T^d$, where $\mathbf{X}$ is two-step enhancement of a family of coefficients $(X^i_t(x))_{i=1,\dots d}$, akin to a geometric rough path with Hölder regularity…
▽ More
We investigate the Cauchy problem for a quasilinear equation with transport rough input of the form $\mathrm{d} u-\partial_i(a^{ij}(u)\partial_j u)\mathrm{d} t =\mathrm{d} \mathbf{X}_t^i(x)\partial_i u_t,$ $u_0\in L^2$ on the torus $\mathbb T^d$, where $\mathbf{X}$ is two-step enhancement of a family of coefficients $(X^i_t(x))_{i=1,\dots d}$, akin to a geometric rough path with Hölder regularity $α>1/3.$ Using energy estimates, we provide sufficient conditions that guarantee existence in any dimension, and uniqueness in the case when $X$ is divergence-free. We then focus on the one-dimensional scenario, with slightly more regular coefficients. Improving the a priori estimates of the first results, we prove existence of a class of solutions whose spatial derivatives satisfy a Ladyzhenskaya-Prodi-Serrin type condition. Uniqueness is shown in the same class, by obtaining an $L^\infty(L^1)$ estimate on the difference of two solutions. The latter is obtained by establishing a link with a certain backward dual equation combined with a (rough) iteration lemma à la Moser.
△ Less
Submitted 15 December, 2020; v1 submitted 29 August, 2018;
originally announced August 2018.
-
An Itô Formula for rough partial differential equations and some applications
Authors:
Antoine Hocquet,
Torstein Nilssen
Abstract:
We investigate existence, uniqueness and regularity for solutions of rough parabolic equations of the form $\partial _tu-A_tu-f=(\dot X_t(x) \cdot \nabla + \dot Y_t(x))u$ on $[0,T]\times\mathbb{R}^d.$ To do so, we introduce a concept of "differential rough driver", which comes with a counterpart of the usual controlled paths spaces in rough paths theory, built on the Sobolev spaces $W^{k,p}.$ We a…
▽ More
We investigate existence, uniqueness and regularity for solutions of rough parabolic equations of the form $\partial _tu-A_tu-f=(\dot X_t(x) \cdot \nabla + \dot Y_t(x))u$ on $[0,T]\times\mathbb{R}^d.$ To do so, we introduce a concept of "differential rough driver", which comes with a counterpart of the usual controlled paths spaces in rough paths theory, built on the Sobolev spaces $W^{k,p}.$ We also define a natural notion of geometricity in this context, and show how it relates to a product formula for controlled paths. In the case of transport noise (i.e.\ when $Y=0$), we use this framework to prove an Itô Formula (in the sense of a chain rule) for Nemytskii operations of the form $u\mapsto F(u),$ where $F$ is $C^2$ and vanishes at the origin. Our method is based on energy estimates, and a generalization of the Moser Iteration argument to prove boundedness of a dense class of solutions of parabolic problems as above. In particular, we avoid the use of flow transformations and work directly at the level of the original equation. We also show the corresponding chain rule for $F(u)=|u|^p$ with $p\geq 2,$ but also when $Y\neq 0$ and $p\geq 4.$ As an application of these results, we prove existence and uniqueness of a suitable class of $L^p$-solutions of parabolic equations with multiplicative noise. Another related development is the homogeneous Dirichlet boundary problem on a smooth domain, for which a weak maximum principle is shown under appropriate assumptions on the coefficients.
△ Less
Submitted 8 July, 2020; v1 submitted 27 June, 2018;
originally announced June 2018.
-
Generalized Burgers equation with rough transport noise
Authors:
Antoine Hocquet,
Torstein Nilssen,
Wilhelm Stannat
Abstract:
We introduce a new technique for studying well posedness and energy estimates for evolution equations with a rough transport term. The technique is based on finding suitable space-time weight functions for the equations at hand. As an example we study the well posedness of the generalized viscous Burgers equation perturbed by a rough path transport noise.
We introduce a new technique for studying well posedness and energy estimates for evolution equations with a rough transport term. The technique is based on finding suitable space-time weight functions for the equations at hand. As an example we study the well posedness of the generalized viscous Burgers equation perturbed by a rough path transport noise.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
An energy method for rough partial differential equations
Authors:
Antoine Hocquet,
Martina Hofmanová
Abstract:
We present a well-posedness and stability result for a class of nondegenerate linear parabolic equations driven by rough paths. More precisely, we introduce a notion of weak solution that satisfies an intrinsic formulation of the equation in a suitable Sobolev space of negative order. Weak solutions are then shown to satisfy the corresponding energy estimates which are deduced directly from the eq…
▽ More
We present a well-posedness and stability result for a class of nondegenerate linear parabolic equations driven by rough paths. More precisely, we introduce a notion of weak solution that satisfies an intrinsic formulation of the equation in a suitable Sobolev space of negative order. Weak solutions are then shown to satisfy the corresponding energy estimates which are deduced directly from the equation. Existence is obtained by showing compactness of a suitable sequence of approximate solutions whereas uniqueness relies on a doubling of variables argument and a careful analysis of the passage to the diagonal. Our result is optimal in the sense that the assumptions on the deterministic part of the equation as well as the initial condition are the same as in the classical PDEs theory.
△ Less
Submitted 6 March, 2019; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Struwe-like solutions for the Stochastic Harmonic Map Flow
Authors:
Antoine Hocquet
Abstract:
We give a new result on the well-posedness of the two-dimensional Stochastic Harmonic Map flow, whose study is motivated by the Landau-Lifshitz-Gilbert model for thermal fluctuations in micromagnetics. We construct strong solutions that belong locally to the spaces $C([s,t);H^1)\cap L^2([s,t);H^2)$, $0\leq s<t\leq T$. It that sense, these maps are a counterpart of the so-called "Struwe solutions"…
▽ More
We give a new result on the well-posedness of the two-dimensional Stochastic Harmonic Map flow, whose study is motivated by the Landau-Lifshitz-Gilbert model for thermal fluctuations in micromagnetics. We construct strong solutions that belong locally to the spaces $C([s,t);H^1)\cap L^2([s,t);H^2)$, $0\leq s<t\leq T$. It that sense, these maps are a counterpart of the so-called "Struwe solutions" of the deterministic model. We also give a natural criterion of uniqueness that extends A.\ Freire's Theorem to the stochastic case. Both results are obtained under the condition that the noise term has a trace-class covariance in space.
△ Less
Submitted 9 November, 2018; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Finite-time singularity of the stochastic harmonic map flow
Authors:
Antoine Hocquet
Abstract:
We investigate the influence of an infinite dimensional Gaussian noise on the bubbling phenomenon for the stochastic harmonic map flow $u(t,\cdot ):\mathbb{D}^2\to\mathbb{S}^2$, from the two-dimensional unit disc onto the sphere. The diffusion term is assumed to have range one pointwisely in the tangent space $T_{u(t,x)}\mathbb{S}^2$, so that the noise preserves the 1-corotational symmetry of solu…
▽ More
We investigate the influence of an infinite dimensional Gaussian noise on the bubbling phenomenon for the stochastic harmonic map flow $u(t,\cdot ):\mathbb{D}^2\to\mathbb{S}^2$, from the two-dimensional unit disc onto the sphere. The diffusion term is assumed to have range one pointwisely in the tangent space $T_{u(t,x)}\mathbb{S}^2$, so that the noise preserves the 1-corotational symmetry of solutions. Under the assumption that its space-correlation is of trace class (in some appropriate hilbert space), we prove that the noise generates blow-up with positive probability. This scenario happens no matter how we choose the initial data, provided it fulfills the latter symmetry assumption.
△ Less
Submitted 8 November, 2018; v1 submitted 9 June, 2016;
originally announced June 2016.
-
A semi-discrete scheme for the stochastic Landau-Lifshitz equation
Authors:
François Alouges,
Anne De Bouard,
Antoine Hocquet
Abstract:
We propose a new convergent time semi-discrete scheme for the stochastic Landau-Lifshitz-Gilbert equation. The scheme is only linearly implicit and does not require the resolution of a nonlinear problem at each time step. Using a martingale approach, we prove the convergence in law of the scheme up to a subsequence.
We propose a new convergent time semi-discrete scheme for the stochastic Landau-Lifshitz-Gilbert equation. The scheme is only linearly implicit and does not require the resolution of a nonlinear problem at each time step. Using a martingale approach, we prove the convergence in law of the scheme up to a subsequence.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
