arXiv subjects

Adam Larios

Publications and source records attributed to Adam Larios.

At least 19 recordsLinked to original sources

arXiv2026

On a Partial Voigt Regularization of the 3D Magnetohydrodynamic Equations in Velocity-Vorticity Form

The Velocity-Vorticity (VV) formulation of the incompressible Navier-Stokes equations has become popular in recent years, especially in numerical studies, due to its structural advantages. Recently, with L. Rebholz, we introduced a Voigt regularization to the momentum equation in this formulation, establishing global well-posedness of the regularized system in 3D, along with convergence results and a blow-up criterion. In the present work, we extend these ideas to the 3D magnetohydrodynamics (MHD) equations. While it may seem that a ``VV-type'' split on the magnetic equation is required, we show that no such modification is necessary, and global well-posedness holds with a Voigt regularization only on the momentum equation, preserving the structure of both the vorticity and magnetic equations. We also prove that the regularized system converges to the original system, up to a possible blow-up time, and we establish a blow-up criterion for solutions to the original 3D MHD system.

math.AP↗

arXiv2026

A New Measure of Coarseness for Solutions to Cahn--Hilliard Equations

We introduce a new measure of coarseness for characterizing phase separation processes such as those described by Cahn--Hilliard equations. An advantage of our measure is that it remains consistent throughout the evolution, including for solutions with no periodic structure. We use our measure to compare two previous models of coarsening dynamics with numerically generated dynamics, providing the first direct check that we are aware of for the efficacy of these methods.

math.AP↗

arXiv2025

Burgers equation with a twist: A study on rotational-form equations

A new three-dimensional (3D) equation is proposed, which is formed like Burgers' equation by starting with the 3D incompressible Navier-Stokes equations (NSE) and eliminating the pressure and the divergence-free constraint, but instead the Bernoulli pressure is eliminated, leaving only the rotational form of the nonlinearity. This results in a globally well-posed 3D equation which has exactly the same energy balance as the 3D NSE. Moreover, we show in simulations that the system seems to exhibit chaotic dynamics. In the viscous case, we prove the global existence, uniqueness, and higher-order regularity of solutions to this equation with no restriction on the initial data other than smoothness. In the inviscid case, local existence holds, but we give an example of a class of solutions with smooth initial data that develop a singularity in finite time in both 2D and 3D. Moreover, a new numerical algorithm is presented in the 2D case, and simulations are included to illustrate the dynamics. In addition, a rotational-form modification for the 2D Kuramoto-Sivashinsky equations (KSE) is proposed, and global well-posedness is also established. We also discuss several related ``rotational form'' equations, and some pedagogical considerations. Global well-posedness for the original 3D NSE and 2D KSE remains a challenging open problem, but it is hoped that by focusing on the rotational term, new insight may be gained.

math.AP↗

arXiv2025

Data Assimilation in Large Eddy Simulation: Addressing Model-Observation Mismatch from Navier-Stokes Data

In atmospheric and turbulent flow modeling, Large Eddy Simulation (LES) is often used to reduce computational cost, while observational data typically originates from the underlying physical system. Motivated by this setting, we study a continuous data assimilation (CDA) algorithm applied to a Smagorinsky/Ladyzhenskaya-type LES model, in which the observational data is generated from the full Navier--Stokes equations (NSE). In the two-dimensional setting, we establish global well-posedness of the assimilated system and prove exponential convergence to the true solution, up to an error of order $\bar{\nu}^{1/2}$, where $\bar{\nu}$ is the turbulence viscosity parameter. In addition to rigorous analysis in 2D, we provide numerical simulations in both 2D domains with physical boundary conditions and 3D periodic domains, demonstrating effective synchronization in these cases, and corroborating our theoretical predictions.

math.AP↗

arXiv2024

Fractional Voigt-regularization of the 3D Navier--Stokes and Euler equations: Global well-posedness and limiting behavior

The Voigt regularization is a technique used to model turbulent flows, offering advantages such as sharing steady states with the Navier-Stokes equations and requiring no modification of boundary conditions; however, the parabolic dissipative character of the equation is lost. In this work we propose and study a generalization of the Voigt regularization technique by introducing a fractional power $r$ in the Helmholtz operator, which allows for dissipation in the system, at least in the viscous case. We examine the resulting fractional Navier-Stokes-Voigt (fNSV) and fractional Euler-Voigt (fEV) and show that global well-posedness holds in the 3D periodic case for fNSV when the fractional power $r \geq \frac{1}{2}$ and for fEV when $r>\frac{5}{6}$. Moreover, we show that the solutions of these fractional Voigt-regularized systems converge to solutions of the original equations, on the corresponding time interval of existence and uniqueness of the latter, as the regularization parameter $\alpha \to 0$. Additionally, we prove convergence of solutions of fNSV to solutions of fEV as the viscosity $\nu \to 0$ as well as the convergence of solutions of fNSV to solutions of the 3D Euler equations as both $\alpha, \nu \to 0$. Furthermore, we derive a criterion for finite-time blow-up for each system based on this regularization. These results may be of use to researchers in both pure and applied fluid dynamics, particularly in terms of approximate models for turbulence and as tools to investigate potential blow-up of solutions.

math.AP↗

arXiv2024

Calmed Ohmic Heating for the 2D Magnetohydrodynamic-Boussinesq System: Global Well-posedness and Convergence

When an electric current runs through a fluid, it generates heat via a process known as ``Ohmic heating'' or ``Joule heating.'' While this phenomenon, and its quantification known as Joule's Law, is the first studied example of heat generation via an electric field, many difficulties still remain in understanding its consequences. In particular, a magnetic fluid naturally generates an electric field via Amp\`ere's law, which heats the fluid via Joule's law. This heat in turn gives rise to convective effects in the fluid, creating complicated dynamical behavior. This has been modeled (in other works) by including an Ohmic heating term in the Magnetohydrodynamic-Boussinessq (MHD-B) equation. However, the structure of this term causes major analytical difficulties, and basic questions of well-posedness remain open problems, even in the two-dimensional case. Moreover, standard approaches to finding a globally well-posed approximate model, such as filtering or adding high-order diffusion, are not enough to handle the Ohmic heating term. In this work, we present a different approach that we call ``calming'', which reduces the effective algebraic degree of the Ohmic heating term in a controlled manner. We show that this new model is globally well-posed, and moreover, its solutions converge to solutions of the MHD-B system with the Ohmic heating term (assuming that solutions to the original equation exist), making it the first globally well-posed approximate model for the MHD-B equation with Ohmic heating.

math.AP↗

arXiv2024

Comparison of Coarsening Dynamics for the Cahn--Hilliard and Burgers--Cahn--Hilliard Equations

We consider coarsening dynamics associated with a Burgers--Cahn--Hilliard system modeling a two-phase flow in one space dimension. Our emphasis is on the effect that coupling between the phase and fluid dynamics has on coarsening rates, and on the mechanisms driving this effect. We start with a detailed examination of coarsening dynamics for the uncoupled Cahn--Hilliard equation, comparing numerically generated rates with two analytic methods, and then we consider how these dynamics are affected by appropriate coupling with a viscous Burgers equation. In order to keep the analysis as self-contained as possible, we establish the global well-posedness of the system under consideration.

math.AP↗

arXiv2024

A Note on Explicit Convergence Rates of Nonlocal Peridynamic Operators in $L^q$-Norm

This note investigates the explicit convergence rates of nonlocal peridynamic operators to their classical (local) counterparts in $L^q$-norm. Previous results used Fourier series and hence were restricted to showing convergence in $L^2$. Moreover, convergence rates were not explicit due to the use of the Lebesgue Dominated Convergence Theorem. Some previous results have also used the Taylor Remainder Theorem in differential form, but this often required an assumption of bounded fifth-order derivatives. We do not use these tools, but instead use the Hardy-Littlewood Maximal function, and combine it with the integral form of the Taylor Remainder Theorem. This approach allows us to establish convergence in the $L^q$-norm ($1 \leq q \leq \infty$) for nonlocal peridynamic partial derivatives, which immediately yields convergence rates for the corresponding nonlocal peridynamic divergence, gradient, and curl operators to their local counterparts as the radius (a.k.a., ``horizon'') of the nonlocal interaction $\delta \to 0$. Moreover, we obtain an explicit rate of order $\mathcal{O}(\delta^2)$. This result contributes to the understanding of the relationship between nonlocal and local models, which is essential for applications in multiscale modeling and simulations.

math.AP↗

arXiv2024

Remarks on the stabilization of large-scale growth in the 2D Kuramoto-Sivashinsky equation

In this article, some elementary observations are made regarding the behavior of solutions to the two-dimensional curl-free Burgers equation which suggest the distinguished role played by the scalar divergence field in determining the dynamics of the solution. These observations inspire a new divergence-based regularity condition for the two-dimensional Kuramoto-Sivashinsky equation (KSE) that provides conceptual clarity to the nature of the potential blow-up mechanism for this system. The relation of this regularity criterion to the Ladyzhenskaya-Prodi-Serrin-type criterion for the KSE is also established, thus providing the basis for the development of an alternative framework of regularity criterion for this equation based solely on the low-mode behavior of its solutions. The article concludes by applying these ideas to identify a conceptually simple modification of KSE that yields globally regular solutions, as well as providing a straightforward verification of this regularity criterion to establish global regularity of solutions to the 2D Burgers-Sivashinsky equation. The proofs are direct, elementary, and concise.

math.AP↗

arXiv2023

Calmed 3D Navier-Stokes Equations: Global Well-Posedness, Energy Identities, Global Attractors, and Convergence

We propose a modification to the nonlinear term of the three-dimensional incompressible Navier-Stokes equations (NSE) in either advective or rotational form which "calms" the system in the sense that the algebraic degree of the nonlinearity is effectively reduced. This system, the calmed Navier-Stokes Equations (calmed NSE), utilizes a "calming function" in the nonlinear term to locally constrain large advective velocities. Notably, this approach avoids the direct smoothing or filtering of derivatives, thus we make no modifications to the boundary conditions. Under suitable conditions on the calming function, we are able to prove global well-posedness of calmed NSE and show the convergence of calmed NSE solutions to NSE solutions on the time interval of existence for the latter. In addition, we prove that the dynamical system generated by the calmed NSE in the rotational form possesses both an energy identity and a global attractor. Moreover, we show that strong solutions to the calmed equations converge to strong solutions of the NSE without assuming their existence, providing a new proof of the existence of strong solutions to the 3D Navier-Stokes equations.

math.AP↗

arXiv2023

Application of Continuous Data Assimilation in High-Resolution Ocean Modeling

We demonstrate a formulation of the Azouani-Olson-Titi (AOT) algorithm in the MPAS-Ocean implementation of the primitive equations of the ocean, presenting global ocean simulations with realistic coastlines and bathymetry. We observe an exponentially fast decay in the error before reaching a certain error level, which depends on the terms involved and whether the AOT feedback control term was handled implicitly or explicitly. A wide range of errors was observed for both schemes, with the implicit scheme typically exhibiting lower error levels, depending on the specific physical terms included in the model. Several factors seem to be contributing to this wide range, but the vertical mixing term is demonstrated to be an especially problematic term. This study provides insight into the promises and challenges of adapting the AOT algorithm to the setting of high-resolution, realistic ocean models.

math.AP↗

arXiv2023

Continuous Data Assimilation for the 3D and Higher-Dimensional Navier--Stokes equations with Higher-Order Fractional Diffusion

We study the use of the Azouani-Olson-Titi (AOT) continuous data assimilation algorithm to recover solutions of the Navier--Stokes equations modified to have higher-order fractional diffusion. The fractional diffusion case is of particular interest, as it is known to be globally well-posed for sufficiently large diffusion exponent $\alpha$. In this work, we prove that the assimilation equations are globally well-posed, and we demonstrate that the solutions produced by the AOT algorithm exhibit exponential convergence in time to the reference solution, given a sufficiently high spatial resolution of observations and a sufficiently large nudging parameter. We also note that the results hold in spatial dimensions $d$ where $2\leq d\leq 8$, so long as $\alpha\geq \frac12 +\frac{d}{4}$. Though the cases $3<d\leq8$ are likely only a mathematical curiosity, we include them as they cause no additional difficulty in the proof. Note that we show in a companion paper the $d=2$ case allows for $\alpha<1$.

math.AP↗

arXiv2023

Algebraic calming for the 2D Kuramoto-Sivashinsky equations

We propose an approximate model for the 2D Kuramoto-Sivashinsky equations (KSE) of flame fronts and crystal growth. We prove that this new ``calmed'' version of the KSE is globally well-posed, and moreover, its solutions converge to solutions of the KSE on the time interval of existence and uniqueness of the KSE at an algebraic rate. In addition, we provide simulations of the calmed KSE, illuminating its dynamics. These simulations also indicate that our analytical predictions of the convergence rates are sharp. We also discuss analogies with the 3D Navier-Stokes equations of fluid dynamics.

math.AP↗

arXiv2023

Super-exponential convergence rate of a nonlinear continuous data assimilation algorithm: The 2D Navier-Stokes equations paradigm

We study a nonlinear-nudging modification of the Azouani-Olson-Titi continuous data assimilation (downscaling) algorithm for the 2D incompressible Navier-Stokes equations. We give a rigorous proof that the nonlinear-nudging system is globally well-posed, and moreover that its solutions converge to the true solution exponentially fast in time. Furthermore, we also prove that, once the error has decreased below a certain order one threshold, the convergence becomes double-exponentially fast in time, up until a precision determined by the sparsity of the observed data. In addition, we demonstrate the applicability of the analytical and sharpness of the results computationally.

math.AP↗

arXiv2023

The second-best way to do sparse-in-time continuous data assimilation: Improving convergence rates for the 2D and 3D Navier-Stokes equations

We study different approaches to implementing sparse-in-time observations into the the Azouani-Olson-Titi data assimilation algorithm. We propose a new method which introduces a "data assimilation window" separate from the observational time interval. We show that by making this window as small as possible, we can drastically increase the strength of the nudging parameter without losing stability. Previous methods used old data to nudge the solution until a new observation was made. In contrast, our method stops nudging the system almost immediately after an observation is made, allowing the system relax to the correct physics. We show that this leads to an order-of-magnitude improvement in the time to convergence in our 3D Navier-Stokes simulations. Moreover, our simulations indicate that our approach converges at nearly the same rate as the idealized method of direct replacement of low Fourier modes proposed by Hayden, Olson, and Titi (HOT). However, our approach can be readily adapted to non-idealized settings, such as finite element methods, finite difference methods, etc., since there is no need to access Fourier modes as our method works for general interpolants. It is in this sense that we think of our approach as ``second best;'' that is, the ``best'' method would be the direct replacement of Fourier modes as in HOT, but this idealized approach is typically not feasible in physically realistic settings. While our method has a convergence rate that is slightly sub-optimal compared to the idealized method, it is directly compatible with real-world applications. Moreover, we prove analytically that these new algorithms are globally well-posed, and converge to the true solution exponentially fast in time. In addition, we provide the first 3D computational validation of HOT algorithm.

math.AP↗

arXiv2023

Identifying the body force from partial observations of a 2D incompressible velocity field

Using limited observations of the velocity field of the two-dimensional Navier-Stokes equations, we successfully reconstruct the steady body force that drives the flow. The number of observed data points is less than 10\% of the number of modes that describes the full flow field, indicating that the method introduced here is capable of identifying complicated forcing mechanisms from a relatively small collection of observations. In addition to demonstrating the efficacy of this method on turbulent flow data generated by simulations of the two-dimensional Navier-Stokes equations, we also rigorously justify convergence of the derived algorithm. Beyond the practical applicability of such an algorithm, the reliance of this method on the dynamical evolution of the system yields physical insight into the turbulent cascade.

physics.flu-dyn↗

arXiv2021

Regularity criteria for the Kuramoto-Sivashinsky equation in dimensions two and three

We propose and prove several regularity criteria for the 2D and 3D Kuramoto-Sivashinsky equation, in both its scalar and vector forms. In particular, we examine integrability criteria for the regularity of solutions in terms of the scalar solution $\phi$, the vector solution $u\triangleq\nabla\phi$, as well as the divergence $\text{div}(u)=\Delta\phi$, and each component of $u$ and $\nabla u$. We also investigate these criteria computationally in the 2D case, and we include snapshots of solutions for several quantities of interest that arise in energy estimates.

math.AP↗

arXiv2021

The Bleeps, the Sweeps, and the Creeps: Convergence Rates for Dynamic Observer Patterns via Data Assimilation for the 2D Navier-Stokes Equations

We adapt a continuous data assimilation scheme, known as the Azouani-Olson-Titi (AOT) algorithm, to the case of moving observers for the 2D incompressible Navier-Stokes equations. We propose and test computationally several movement patterns (which we refer to as "the bleeps, the sweeps and the creeps"), as well as Lagrangian motion and combinations of these patterns, in comparison with static (i.e. non-moving) observers. In several cases, order-of-magnitude improvements in terms of the time-to-convergence are observed. We end with a discussion of possible applications to real-world data collection strategies that may lead to substantial improvements in predictive capabilities.

math.AP↗