Searcharxiv⌕ Search

arXiv subjects

Diogo Arsénio

Publications and source records attributed to Diogo Arsénio.

17 recordsLinked to original sources
arXiv2026

Bourgain--Brezis selection maps for Hodge systems in Besov and Triebel--Lizorkin spaces

We establish Bourgain--Brezis selection maps for Hodge systems in new ranges of Besov and Triebel--Lizorkin spaces. Our approach combines the trace-free Beurling--Ahlfors transform with a nonlinear duality method. To control concentrations, we use tools developed by Stolyarov in the study of Maz'ya's $Φ$-inequalities. These methods yield selection maps in Besov spaces $\dot B^{n/p}_{p,q}(\mathbb{R}^n)$ for every $1\leq q\leq p\leq 2$, and in Triebel--Lizorkin spaces $\dot F^{n/p}_{p,q}(\mathbb{R}^n)$ for every $1<p\leq q\leq 2$. The theorems hold for every dimension $n\geq 2$ and every form degree $1\leq l\leq n-1$. Although our results overlap with some earlier work, they considerably extend the known range of solutions to the Bourgain--Brezis problem and underscore the importance of the trace-free Beurling--Ahlfors transform in its resolution.

math.FA↗
arXiv2026

The trace-free Beurling--Ahlfors transform and the Bourgain--Brezis problem for Hodge systems

We show that the dual approach to Bourgain--Brezis estimates for Hodge systems is substantially more flexible than previously understood. For $1\leq l\leq n-1$, we introduce the trace-free Beurling--Ahlfors transform $S=\frac{n-l}{n}P-\frac lnP^\perp$, a canonical normalization of the generalized Beurling--Ahlfors transform on $l$-forms in $\mathbb{R}^n$. Its matrix symbol decomposes into scalar multipliers that are odd under suitable orthogonal reflections, yielding an endpoint cancellation estimate from finite measures to $L^\infty$ for $|D|^{-n}S$. This cancellation allows us to complete the Hilbertian case of the Bourgain--Brezis conjecture in every dimension and for every form degree. We then develop multilinear reflection estimates and obtain new critical Triebel--Lizorkin and Besov Bourgain--Brezis estimates. In particular, for every dimension and form degree, the Sobolev Bourgain--Brezis conjecture in $\dot W^{\frac np,p}$ holds for $p=\frac{2k}{2k-1}$, $k\geq1$, and hence for exponents arbitrarily close to $1$. We also derive endpoint Hodge decompositions and Hodge--Sobolev inequalities. Finally, except in the endpoint Besov case where the critical space already embeds into $L^\infty$, we prove that the associated bounded selections cannot be linear.

math.FA↗
arXiv2025

Hydrodynamics of degenerate Fermi gases on spherical Fermi surfaces

We consider the description of a Fermi gas of free electrons given by the Boltzmann--Fermi--Dirac equation, and aim at providing a precise mathematical understanding of the Fermi ground state and its first-order approximation of excited states on the Fermi sphere. In order to achieve that, using the framework of hydrodynamic limits in collisional kinetic theory, we identify the low-temperature regimes in which charge-density fluctuations concentrate on the Fermi sphere. In three spatial dimensions or higher, we also characterize the thermodynamic equilibra and energy spectra of fluctuations. This allows us to derive the macroscopic hydrodynamic equations describing how charge densities flow and propagate in metals, thereby providing a precise description of plasma oscillations in conductors. The two-dimensional case is fundamentally different and is handled in a companion article. Remarkably, our results establish that excited electrons and their energy can be distributed on the Fermi sphere anisotropically, which deviates from the common intuitive assumption that electrons and their energy should be distributed uniformly in all directions. The hydrodynamic regimes featured in this work are akin to the acoustic limit of the classical Boltzmann equation. However, we emphasize that our derivation holds for arbitrarily fast rates of convergence of the Knudsen number, which significantly extends the applicability of the known proofs of the classical acoustic limit. This suggest that low-temperature limits of Fermi gases provide a promising avenue of research toward a complete understanding of the compressible Euler limit.

math.AP↗
arXiv2024

Global unique solutions to the planar inhomogeneous Navier--Stokes--Maxwell equations

The evolution of an electrically conducting imcompressible fluid with nonconstant density can be described by a set of equations combining the continuity, momentum and Maxwell's equations; altogether known as the inhomogeneous Navier--Stokes--Maxwell system. In this paper, we focus on the global well-posedness of these equations in two dimensions. Specifically, we are able to prove the existence of global energy solutions, provided that the initial velocity field belongs to the Besov space $\dot{B}^{r}_{p,1}(\mathbb{R}^2)$, with $r=-1+\frac{2}{p}$, for some $p\in (1,2)$, while the initial electromagnetic field enjoys some $H^s(\mathbb{R}^2)$ Sobolev regularity, for some $s \geq 2-\frac{2}{p} \in (0,1)$, and whenever the initial fluid density is bounded pointwise and close to a nonnegative constant. Moreover, if it is assumed that $s>\frac{1}{2}$, then the solution is shown to be unique in the class of all energy solutions. It is to be emphasized that the solutions constructed here are global and uniformly bounded with respect to the speed of light $c\in (0,\infty)$. This important fact allows us to derive the inhomogeneous MHD system as the speed of light tends to infinity.

math.AP↗
arXiv2024

Damped Strichartz estimates and the incompressible Euler--Maxwell system

Euler--Maxwell systems describe the dynamics of inviscid plasmas. In this work, we consider an incompressible two-dimensional version of such systems and prove the existence and uniqueness of global weak solutions, uniformly with respect to the speed of light $c\in (c_0,\infty)$, for some threshold value $c_0>0$ depending only on the initial data. In particular, the condition $c>c_0$ ensures that the velocity of the plasma nowhere exceeds the speed of light and allows us to analyze the singular regime $c\to\infty$. The functional setting for the fluid velocity lies in the framework of Yudovich's solutions of the two-dimensional Euler equations, whereas the analysis of the electromagnetic field hinges upon the refined interactions between the damping and dispersive phenomena in Maxwell's equations in the whole space. This analysis is enabled by the new development of a robust abstract method allowing us to incorporate the damping effect into a variety of existing estimates. The use of this method is illustrated by the derivation of damped Strichartz estimates (including endpoint cases) for several dispersive systems (including the wave and Schrödinger equations), as well as damped maximal regularity estimates for the heat equation. The ensuing damped Strichartz estimates supersede previously existing results on the same systems.

math.AP↗
arXiv2024

Quantized collision invariants on the sphere

We show that a measurable function $g:\mathbb{S}^{d-1}\to\mathbb{R}$, with $d\geq 3$, satisfies the functional relation \begin{equation*} g(ω)+g(ω_*)=g(ω')+g(ω_*'), \end{equation*} for all admissible $ω,ω_*,ω',ω_*'\in\mathbb{S}^{d-1}$ in the sense that \begin{equation*} ω+ω_*=ω'+ω_*', \end{equation*} if and only if it can be written as \begin{equation*} g(ω)=A+B\cdotω, \end{equation*} for some constants $A\in \mathbb{R}$ and $B\in\mathbb{R}^d$. Such functions form a family of quantized collision invariants which play a fundamental role in the study of hydrodynamic regimes of the Boltzmann--Fermi--Dirac equation near Fermionic condensates, i.e., at low temperatures. In particular, they characterize the elastic collisional dynamics of Fermions near a statistical equilibrium where quantum effects are predominant.

math.CA↗
arXiv2023

Stability analysis of two-dimensional ideal flows with applications to viscous fluids and plasmas

We are interested in the stability analysis of two-dimensional incompressible inviscid fluids. Specifically, we revisit a recent result on the stability of Yudovich's solutions to the incompressible Euler equations in $L^\infty([0,T];H^1)$ by providing a new approach to its proof based on the idea of compactness extrapolation and by extending it to the whole plane. This new method of proof is robust and, when applied to viscous models, leads to a remarkable logarithmic improvement on the rate of convergence in the vanishing viscosity limit of two-dimensional fluids. Loosely speaking, this logarithmic gain is the result of the fact that, in appropriate high-regularity settings, the smoothness of solutions to the Euler equations at times $t\in [0,T)$ is strictly higher than their regularity at time $t=T$. This ``memory effect'' seems to be a general principle which is not exclusive to fluid mechanics. It is therefore likely to be observed in other setting and deserves further investigation. Finally, we also apply the stability results on Euler systems to the study of two-dimensional ideal plasmas and establish their convergence, in strong topologies, to solutions of magnetohydrodynamic systems, when the speed of light tends to infinity. The crux of this asymptotic analysis relies on a fine understanding of Maxwell's system.

math.AP↗
arXiv2023

Axisymmetric Incompressible Viscous Plasmas: Global Well-Posedness and Asymptotics

This paper is devoted to the global analysis of the three-dimensional axisymmetric Navier--Stokes--Maxwell equations. More precisely, we are able to prove that, for large values of the speed of light $c\in (c_0, \infty)$, for some threshold $c_0>0$ depending only on the initial data, the system in question admits a unique global solution. The ensuing bounds on the solutions are uniform with respect to the speed of light, which allows us to study the singular regime $c\rightarrow \infty$ and rigorously derive the limiting viscous magnetohydrodynamic (MHD) system in the axisymmetric setting. The strategy of our proofs draws insight from recent results on the two-dimensional incompressible Euler--Maxwell system to exploit the dissipative--dispersive structure of Maxwell's system in the axisymmetric setting. Furthermore, a detailed analysis of the asymptotic regime $c\to\infty$ allows us to derive a robust nonlinear energy estimate which holds uniformly in $c$. As a byproduct of such refined uniform estimates, we are able to describe the global strong convergence of solutions toward the MHD system. This collection of results seemingly establishes the first available global well-posedness of three-dimensional viscous plasmas, where the electric and magnetic fields are governed by the complete Maxwell equations, for large initial data as $c\to\infty$.

math.AP↗
arXiv2021

Competitive Sequencing with Noisy Advice

Several well-studied online resource allocation problems can be formulated in terms of infinite, increasing sequences of positive values, in which each element is associated with a corresponding allocation value. Examples include problems such as online bidding, searching for a hidden target on an unbounded line, and designing interruptible algorithms based on repeated executions. The performance of the online algorithm, in each of these problems, is measured by the competitive ratio, which describes the multiplicative performance loss due to the absence of full information on the instance. We study such competitive sequencing problems in a setting in which the online algorithm has some (potentially) erroneous information, expressed as a $k$-bit advice string, for some given $k$. We first consider the untrusted advice setting of [Angelopoulos et al, ITCS 2020], in which the objective is to quantify performance considering two extremes: either the advice is either error-free, or it is generated by a (malicious) adversary. Here, we show a Pareto-optimal solution, using a new approach for applying the functional-based lower-bound technique due to [Gal, Israel J. Math. 1972]. Next, we study a nascent noisy advice setting, in which a number of the advice bits may be erroneous; the exact error is unknown to the online algorithm, which only has access to a pessimistic estimate (i.e., an upper bound on this error). We give improved upper bounds, but also the first lower bound on the competitive ratio of an online problem in this setting. To this end, we combine ideas from robust query-based search in arrays, and fault-tolerant contract scheduling. Last, we demonstrate how to apply the above techniques in robust optimization without predictions, and discuss how they can be applicable in the context of more general online problems.

cs.DS↗
arXiv2021

An energy method for averaging lemmas

This work introduces a new approach to velocity averaging lemmas in kinetic theory. This approach -- based upon the classical energy method -- provides a powerful duality principle in kinetic transport equations which allows for a natural extension of classical averaging lemmas to previously unknown cases where the density and the source term belong to dual spaces. More generally, this kinetic duality principle produces regularity results where one can trade a loss of regularity or integrability somewhere in the kinetic transport equation for a suitable opposite gain elsewhere. Also, it looks simpler and more robust to rely on proving inequalities instead of constructing exact parametrices. The results in this article are introduced from a functional analytic point of view. They are motivated by the abstract regularity theory of kinetic transport equations. However, we may recall that velocity averaging lemmas have profound implications in kinetic theory and its related physical models. In particular, the precise formulation of such results has the potential to lead to important applications to the regularity of renormalizations of Boltzmann-type equations, as well as kinetic formulations of gas dynamics, for instance.

math.AP↗
arXiv2020

The vortex method for 2D ideal flows in exterior domains

The vortex method is a common numerical and theoretical approach used to implement the motion of an ideal flow, in which the vorticity is approximated by a sum of point vortices, so that the Euler equations read as a system of ordinary differential equations. Such a method is well justified in the full plane, thanks to the explicit representation formulas of Biot and Savart. In an exterior domain, we also replace the impermeable boundary by a collection of point vortices generating the circulation around the obstacle. The density of these point vortices is chosen in order that the flow remains tangent at midpoints between adjacent vortices and that the total vorticity around the obstacle is conserved. In this work, we provide a rigorous justification of this method for any smooth exterior domain, one of the main mathematical difficulties being that the Biot--Savart kernel defines a singular integral operator when restricted to a curve (here, the boundary of the domain). We also introduce an alternative method---the fluid charge method---which, as we argue, is better conditioned and therefore leads to significant numerical improvements.

math.AP↗
arXiv2018

Solutions of Navier--Stokes--Maxwell systems in large energy spaces

Large weak solutions to Navier--Stokes--Maxwell systems are not known to exist in their corresponding energy space in full generality. Here, we mainly focus on the three-dimensional setting of a classical incompressible Navier--Stokes--Maxwell system and --- in an effort to build solutions in the largest possible functional spaces --- prove that global solutions exist under the assumption that the initial velocity and electromagnetic fields have finite energy, and that the initial electromagnetic field is small in $\dot H^s\left({\mathbb R}^3\right)$ with $s\in \left[\frac 12,\frac 32\right)$. We also apply our method to improve known results in two dimensions by providing uniform estimates as the speed of light tends to infinity. The method of proof relies on refined energy estimates and a Grönwall-like argument, along with a new maximal estimate on the heat flow in Besov spaces. The latter parabolic estimate allows us to bypass the use of the so-called Chemin--Lerner spaces altogether, which is crucial and could be of independent interest.

math.AP↗
arXiv2017

The vortex method for 2D ideal flows in the exterior of a disk

The vortex method is a common numerical and theoretical approach used to implement the motion of an ideal flow, in which the vorticity is approximated by a sum of point vortices, so that the Euler equations read as a system of ordinary differential equations. Such a method is well justified in the full plane, thanks to the explicit representation formulas of Biot and Savart. In an exterior domain, we also replace the impermeable boundary by a collection of point vortices generating the circulation around the obstacle. The density of these point vortices is chosen in order that the flow remains tangent at midpoints between adjacent vortices. In this work, we provide a rigorous justification for this method in exterior domains. One of the main mathematical difficulties being that the Biot-Savart kernel defines a singular integral operator when restricted to a curve. For simplicity and clarity, we only treat the case of the unit disk in the plane approximated by a uniformly distributed mesh of point vortices. The complete and general version of our work is available in [arXiv:1707.01458].

math.AP↗
arXiv2013

Solutions of the Vlasov-Maxwell-Boltzmann system with long-range interactions

We establish the existence of renormalized solutions of the Vlasov-Maxwell-Boltzmann system with a defect measure in the presence of long-range interactions. We also present a control of the defect measure by the entropy dissipation only, which turns out to be crucial in the study of hydrodynamic limits.

math.AP↗
arXiv2012

Concentrations in kinetic transport equations and hypoellipticity

We establish improved hypoelliptic estimates on the solutions of kinetic transport equations, using a suitable decomposition of the phase space. Our main result shows that the relative compactness in all variables of a bounded family $f_λ(x,v)\in L^p$ satisfying some appropriate transport relation $$v\cdot\nabla_x f_λ= (1-Δ_x)^\fracβ{2}(1-Δ_v)^\fracα{2}g_λ$$ may be inferred solely from its compactness in $v$. This method is introduced as an alternative to the lack of known suitable averaging lemmas in $L^1$ when the right-hand side of the transport equation has very low regularity, due to an external force field for instance. In a forthcoming work, the authors make a crucial application of this new approach to the study of the hydrodynamic limit of the Boltzmann equation with a rough force field.

math.AP↗
arXiv2012

A new approach to velocity averaging lemmas in {B}esov spaces

We develop a new approach to velocity averaging lemmas based on the dispersive properties of the kinetic transport operator. This method yields unprecedented sharp results, which display, in some cases, a gain of one full derivative. Moreover, the study of dispersion allows to treat the case of $L_x^rL^p_v$ integrability with $r\leq p$. We also establish results on the control of concentrations in the degenerate $L_{x,v}^1$ case, which is fundamental in the study of the hydrodynamic limit of the Boltzmann equation.

math.AP↗