-
Analysis of COVID-19 Infection Dynamics: Extended SIR Model Approach
Authors:
Caleb Traxler,
Minh Ton,
Nameer Ahmed,
Sasha Prostota,
Annie Cheng
Abstract:
This paper presents a detailed mathematical investigation into the dynamics of COVID-19 infections through extended Susceptible-Infected-Recovered (SIR) and Susceptible-Exposed-Infected-Recovered (SEIR) epidemiological models. By incorporating demographic factors such as birth and death rates, we enhance the classical Kermack-McKendrick framework to realistically represent long-term disease progre…
▽ More
This paper presents a detailed mathematical investigation into the dynamics of COVID-19 infections through extended Susceptible-Infected-Recovered (SIR) and Susceptible-Exposed-Infected-Recovered (SEIR) epidemiological models. By incorporating demographic factors such as birth and death rates, we enhance the classical Kermack-McKendrick framework to realistically represent long-term disease progression. Using empirical data from four COVID-19 epidemic waves in Orange County, California, between January 2020 and March 2022, we estimate key parameters and perform stability and bifurcation analyses. Our results consistently indicate endemic states characterized by stable spiral equilibria due to reproduction numbers (R0) exceeding unity across all waves. Additionally, the inclusion of vaccination demonstrates the potential to reduce the effective reproduction number below one, shifting the system towards a stable disease-free equilibrium. Our analysis underscores the critical role of latency periods in shaping epidemic dynamics and highlights actionable insights for public health interventions aimed at COVID-19 control and eventual eradication.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
Algebraic Adversarial Attacks on Explainability Models
Authors:
Lachlan Simpson,
Federico Costanza,
Kyle Millar,
Adriel Cheng,
Cheng-Chew Lim,
Hong Gunn Chew
Abstract:
Classical adversarial attacks are phrased as a constrained optimisation problem. Despite the efficacy of a constrained optimisation approach to adversarial attacks, one cannot trace how an adversarial point was generated. In this work, we propose an algebraic approach to adversarial attacks and study the conditions under which one can generate adversarial examples for post-hoc explainability model…
▽ More
Classical adversarial attacks are phrased as a constrained optimisation problem. Despite the efficacy of a constrained optimisation approach to adversarial attacks, one cannot trace how an adversarial point was generated. In this work, we propose an algebraic approach to adversarial attacks and study the conditions under which one can generate adversarial examples for post-hoc explainability models. Phrasing neural networks in the framework of geometric deep learning, algebraic adversarial attacks are constructed through analysis of the symmetry groups of neural networks. Algebraic adversarial examples provide a mathematically tractable approach to adversarial examples. We validate our approach of algebraic adversarial examples on two well-known and one real-world dataset.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
Tangentially Aligned Integrated Gradients for User-Friendly Explanations
Authors:
Lachlan Simpson,
Federico Costanza,
Kyle Millar,
Adriel Cheng,
Cheng-Chew Lim,
Hong Gunn Chew
Abstract:
Integrated gradients is prevalent within machine learning to address the black-box problem of neural networks. The explanations given by integrated gradients depend on a choice of base-point. The choice of base-point is not a priori obvious and can lead to drastically different explanations. There is a longstanding hypothesis that data lies on a low dimensional Riemannian manifold. The quality of…
▽ More
Integrated gradients is prevalent within machine learning to address the black-box problem of neural networks. The explanations given by integrated gradients depend on a choice of base-point. The choice of base-point is not a priori obvious and can lead to drastically different explanations. There is a longstanding hypothesis that data lies on a low dimensional Riemannian manifold. The quality of explanations on a manifold can be measured by the extent to which an explanation for a point lies in its tangent space. In this work, we propose that the base-point should be chosen such that it maximises the tangential alignment of the explanation. We formalise the notion of tangential alignment and provide theoretical conditions under which a base-point choice will provide explanations lying in the tangent space. We demonstrate how to approximate the optimal base-point on several well-known image classification datasets. Furthermore, we compare the optimal base-point choice with common base-points and three gradient explainability models.
△ Less
Submitted 11 March, 2025;
originally announced March 2025.
-
Structured Regularization for Constrained Optimization on the SPD Manifold
Authors:
Andrew Cheng,
Melanie Weber
Abstract:
Matrix-valued optimization tasks, including those involving symmetric positive definite (SPD) matrices, arise in a wide range of applications in machine learning, data science and statistics. Classically, such problems are solved via constrained Euclidean optimization, where the domain is viewed as a Euclidean space and the structure of the matrices (e.g., positive definiteness) enters as constrai…
▽ More
Matrix-valued optimization tasks, including those involving symmetric positive definite (SPD) matrices, arise in a wide range of applications in machine learning, data science and statistics. Classically, such problems are solved via constrained Euclidean optimization, where the domain is viewed as a Euclidean space and the structure of the matrices (e.g., positive definiteness) enters as constraints. More recently, geometric approaches that leverage parametrizations of the problem as unconstrained tasks on the corresponding matrix manifold have been proposed. While they exhibit algorithmic benefits in many settings, they cannot directly handle additional constraints, such as inequality or sparsity constraints. A remedy comes in the form of constrained Riemannian optimization methods, notably, Riemannian Frank-Wolfe and Projected Gradient Descent. However, both algorithms require potentially expensive subroutines that can introduce computational bottlenecks in practise. To mitigate these shortcomings, we introduce a class of structured regularizers, based on symmetric gauge functions, which allow for solving constrained optimization on the SPD manifold with faster unconstrained methods. We show that our structured regularizers can be chosen to preserve or induce desirable structure, in particular convexity and "difference of convex" structure. We demonstrate the effectiveness of our approach in numerical experiments.
△ Less
Submitted 12 October, 2024;
originally announced October 2024.
-
Algebraic Adversarial Attacks on Integrated Gradients
Authors:
Lachlan Simpson,
Federico Costanza,
Kyle Millar,
Adriel Cheng,
Cheng-Chew Lim,
Hong Gunn Chew
Abstract:
Adversarial attacks on explainability models have drastic consequences when explanations are used to understand the reasoning of neural networks in safety critical systems. Path methods are one such class of attribution methods susceptible to adversarial attacks. Adversarial learning is typically phrased as a constrained optimisation problem. In this work, we propose algebraic adversarial examples…
▽ More
Adversarial attacks on explainability models have drastic consequences when explanations are used to understand the reasoning of neural networks in safety critical systems. Path methods are one such class of attribution methods susceptible to adversarial attacks. Adversarial learning is typically phrased as a constrained optimisation problem. In this work, we propose algebraic adversarial examples and study the conditions under which one can generate adversarial examples for integrated gradients. Algebraic adversarial examples provide a mathematically tractable approach to adversarial examples.
△ Less
Submitted 26 February, 2025; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Disciplined Geodesically Convex Programming
Authors:
Andrew Cheng,
Vaibhav Dixit,
Melanie Weber
Abstract:
Convex programming plays a fundamental role in machine learning, data science, and engineering. Testing convexity structure in nonlinear programs relies on verifying the convexity of objectives and constraints. \citet{grant2006disciplined} introduced a framework, Disciplined Convex Programming (DCP), for automating this verification task for a wide range of convex functions that can be decomposed…
▽ More
Convex programming plays a fundamental role in machine learning, data science, and engineering. Testing convexity structure in nonlinear programs relies on verifying the convexity of objectives and constraints. \citet{grant2006disciplined} introduced a framework, Disciplined Convex Programming (DCP), for automating this verification task for a wide range of convex functions that can be decomposed into basic convex functions (atoms) using convexity-preserving compositions and transformations (rules). However, the restriction to Euclidean convexity concepts can limit the applicability of the framework. For instance, many notable instances of statistical estimators and matrix-valued (sub)routines in machine learning applications are Euclidean non-convex, but exhibit geodesic convexity through a more general Riemannian lens. In this work, we extend disciplined programming to this setting by introducing Disciplined Geodesically Convex Programming (DGCP). We determine convexity-preserving compositions and transformations for geodesically convex functions on general Cartan-Hadamard manifolds, as well as for the special case of symmetric positive definite matrices, a common setting in matrix-valued optimization. For the latter, we also define a basic set of atoms. Our paper is accompanied by a Julia package SymbolicAnalysis.jl, which provides functionality for testing and certifying DGCP-compliant expressions. Our library interfaces with manifold optimization software, which allows for directly solving verified geodesically convex programs.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Improving the accuracy and consistency of the energy quadratization method with an energy-optimized technique
Authors:
Xiaoqing Meng,
Aijie Cheng,
Zhengguang Liu
Abstract:
We propose an energy-optimized invariant energy quadratization method to solve the gradient flow models in this paper, which requires only one linear energy-optimized step to correct the auxiliary variables on each time step. In addition to inheriting the benefits of the baseline and relaxed invariant energy quadratization method, our approach has several other advantages. Firstly, in the process…
▽ More
We propose an energy-optimized invariant energy quadratization method to solve the gradient flow models in this paper, which requires only one linear energy-optimized step to correct the auxiliary variables on each time step. In addition to inheriting the benefits of the baseline and relaxed invariant energy quadratization method, our approach has several other advantages. Firstly, in the process of correcting auxiliary variables, we can directly solve linear programming problem by the energy-optimized technique, which greatly simplifies the nonlinear optimization problem in the previous relaxed invariant energy quadratization method. Secondly, we construct new linear unconditionally energy stable schemes by applying backward Euler formulas and Crank-Nicolson formula, so that the accuracy in time can reach the first- and second-order. Thirdly, comparing with relaxation technique, the modified energy obtained by energy-optimized technique is closer to the original energy, meanwhile the accuracy and consistency of the numerical solutions can be improved. Ample numerical examples have been presented to demonstrate the accuracy, efficiency and energy stability of the proposed schemes.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Optimal Control of a Stochastic Power System -- Algorithms and Mathematical Analysis
Authors:
Zhen Wang,
Kaihua Xi,
Aijie Cheng,
Hai Xiang Lin,
Jan H. van Schuppen
Abstract:
The considered optimal control problem of a stochastic power system, is to select the set of power supply vectors which infimizes the probability that the phase-angle differences of any power flow of the network, endangers the transient stability of the power system by leaving a critical subset. The set of control laws is restricted to be a periodically recomputed set of fixed power supply vectors…
▽ More
The considered optimal control problem of a stochastic power system, is to select the set of power supply vectors which infimizes the probability that the phase-angle differences of any power flow of the network, endangers the transient stability of the power system by leaving a critical subset. The set of control laws is restricted to be a periodically recomputed set of fixed power supply vectors based on predictions of power demand for the next short horizon. Neither state feedback nor output feedback is used. The associated control objective function is Lipschitz continuous, nondifferentiable, and nonconvex. The results of the paper include that a minimum exists in the value range of the control objective function. Furthermore, it includes a two-step procedure to compute an approximate minimizer based on two key methods: (1) a projected generalized subgradient method for computing an initial vector, and (2) a steepest descent method for approximating a local minimizer. Finally, it includes two convergence theorems that an approximation sequence converges to a local minimum.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
The stabilized exponential-SAV approach preserving maximum bound principle for nonlocal Allen-Cahn equation
Authors:
Xiaoqing Meng,
Aijie Cheng,
Zhengguang Liu
Abstract:
The nonlocal Allen-Cahn equation with nonlocal diffusion operator is a generalization of the classical Allen-Cahn equation. It satisfies the energy dissipation law and maximum bound principle (MBP), and is important for simulating a series of physical and biological phenomena involving long-distance interactions in space. In this paper, we construct first- and second-order (in time) accurate, unco…
▽ More
The nonlocal Allen-Cahn equation with nonlocal diffusion operator is a generalization of the classical Allen-Cahn equation. It satisfies the energy dissipation law and maximum bound principle (MBP), and is important for simulating a series of physical and biological phenomena involving long-distance interactions in space. In this paper, we construct first- and second-order (in time) accurate, unconditionally energy stable and MBP-preserving schemes for the nonlocal Allen-Cahn type model based on the stabilized exponential scalar auxiliary variable (sESAV) approach. On the one hand, we have proved the MBP and unconditional energy stability carefully and rigorously in the fully discrete levels. On the other hand, we adopt an efficient FFT-based fast solver to compute the nearly full coefficient matrix generated from the spatial discretization, which improves the computational efficiency. Finally, typical numerical experiments are presented to demonstrate the performance of our proposed schemes.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
The high-order exponential semi-implicit scalar auxiliary variable approach for nonlocal Cahn-Hilliard equation
Authors:
Xiaoqing Meng,
Aijie Cheng,
Zhengguang Liu
Abstract:
The nonlocal Cahn-Hilliard (NCH) equation with nonlocal diffusion operator is more suitable for the simulation of microstructure phase transition than the local Cahn-Hilliard (LCH) equation. In this paper, based on the exponential semi-implicit scalar auxiliary variable (ESI-SAV) method, the highly effcient and accurate schemes in time with unconditional energy stability for solving the NCH equati…
▽ More
The nonlocal Cahn-Hilliard (NCH) equation with nonlocal diffusion operator is more suitable for the simulation of microstructure phase transition than the local Cahn-Hilliard (LCH) equation. In this paper, based on the exponential semi-implicit scalar auxiliary variable (ESI-SAV) method, the highly effcient and accurate schemes in time with unconditional energy stability for solving the NCH equation are proposed. On the one hand, we have demostrated the unconditional energy stability for the NCH equation with its high-order semi-discrete schemes carefully and rigorously. On the other hand, in order to reduce the calculation and storage cost in numerical simulation, we use the fast solver based on FFT and FCG for spatial discretization. Some numerical simulations involving the Gaussian kernel are presented and show the stability, accuracy, efficiency and unconditional energy stability of the proposed schemes.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Simplex path integral and simplex renormalization group for high-order interactions
Authors:
Aohua Cheng,
Yunhui Xu,
Pei Sun,
Yang Tian
Abstract:
Modern theories of phase transitions and scale-invariance are rooted in path integral formulation and renormalization group (RG). Despite the applicability of these approaches on simple systems with only pairwise interactions, they are less effective on complex systems with un-decomposable high-order interactions (i.e., interactions among arbitrary sets of units). To precisely characterize the uni…
▽ More
Modern theories of phase transitions and scale-invariance are rooted in path integral formulation and renormalization group (RG). Despite the applicability of these approaches on simple systems with only pairwise interactions, they are less effective on complex systems with un-decomposable high-order interactions (i.e., interactions among arbitrary sets of units). To precisely characterize the universality of high-order interacting systems, we propose simplex path integral and simplex renormalization group (SRG) as the generalizations of classic approaches to arbitrary high-order and heterogeneous interactions. We first formalize the trajectories of units governed by high-order interactions to define path integrals on corresponding simplices based on a high-order propagator. Then we develop a method to integrate out short-range high-order interactions in the momentum space, accompanied by a coarse graining procedure functioning on the simplex structure generated by high-order interactions. The proposed SRG, equipped with a divide-and-conquer framework, can deal with the absence of ergodicity arised from the sparse distribution of high-order interactions and renormalize a system with intertwined high-order interactions on the $p$-order according to its properties on the $q$-order ($p\leq q$). The associated scaling relation and its corollaries support to differentiate among scale-invariant, weakly scale-invariant, and scale-dependent systems across different orders. We have validated our theory in multi-order scale-invariance verification, topological invariance discovery, organizational structure identification, and information bottleneck analysis. These experiments demonstrate the capacity of our theory for identifying intrinsic statistical and topological properties of high-order interacting systems during system reduction.
△ Less
Submitted 15 May, 2024; v1 submitted 3 May, 2023;
originally announced May 2023.
-
Increasing the Synchronization Stability in Complex Networks
Authors:
Xian Wu,
Kaihua Xi,
Aijie Cheng,
Hai Xiang Lin,
Jan H. van Schuppen
Abstract:
We aim to increase the ability of a of coupled phase oscillators to maintain the synchronization when the system is affected by stochastic disturbances. We model the disturbances by Gaussian noise and use the mean first hitting time when the state hits the boundary of a secure domain, that is a subset of the basin of the attraction, to measure the synchronization stability. Based on the invariant…
▽ More
We aim to increase the ability of a of coupled phase oscillators to maintain the synchronization when the system is affected by stochastic disturbances. We model the disturbances by Gaussian noise and use the mean first hitting time when the state hits the boundary of a secure domain, that is a subset of the basin of the attraction, to measure the synchronization stability. Based on the invariant probability distribution of a system of phase oscillators subject to Gaussian disturbances, we propose an optimization method to increase the mean first hitting time, and thus increase the synchronization stability. In this method, a new metric for the synchronization stability is defined as the probability of the state being absent from the secure domain, which reflects the impact of all the system parameters and the strength of the disturbances. Furthermore, by this new metric, one may identify those edges which may lead to desynchronization with a high risk. A case study shows that the mean first hitting time is dramatically increased after solving the corresponding optimization problems and the vulnerable edges are effectively identified. It is also found that optimizing the synchronization by maximizing the order parameter or the phase cohesiveness may dramatically increase the value of the metric and decrease the mean first hitting time, thus decrease the synchronization stability.
△ Less
Submitted 30 March, 2023; v1 submitted 26 July, 2022;
originally announced August 2022.
-
Trajectory of Mini-Batch Momentum: Batch Size Saturation and Convergence in High Dimensions
Authors:
Kiwon Lee,
Andrew N. Cheng,
Courtney Paquette,
Elliot Paquette
Abstract:
We analyze the dynamics of large batch stochastic gradient descent with momentum (SGD+M) on the least squares problem when both the number of samples and dimensions are large. In this setting, we show that the dynamics of SGD+M converge to a deterministic discrete Volterra equation as dimension increases, which we analyze. We identify a stability measurement, the implicit conditioning ratio (ICR),…
▽ More
We analyze the dynamics of large batch stochastic gradient descent with momentum (SGD+M) on the least squares problem when both the number of samples and dimensions are large. In this setting, we show that the dynamics of SGD+M converge to a deterministic discrete Volterra equation as dimension increases, which we analyze. We identify a stability measurement, the implicit conditioning ratio (ICR), which regulates the ability of SGD+M to accelerate the algorithm. When the batch size exceeds this ICR, SGD+M converges linearly at a rate of $\mathcal{O}(1/\sqrtκ)$, matching optimal full-batch momentum (in particular performing as well as a full-batch but with a fraction of the size). For batch sizes smaller than the ICR, in contrast, SGD+M has rates that scale like a multiple of the single batch SGD rate. We give explicit choices for the learning rate and momentum parameter in terms of the Hessian spectra that achieve this performance.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
The fast scalar auxiliary variable approach with unconditional energy stability for nonlocal Cahn-Hilliard equation
Authors:
Zhengguang liu,
Aijie Cheng,
Xiaoli Li
Abstract:
Comparing with the classical local gradient flow and phase field models, the nonlocal models such as nonlocal Cahn-Hilliard equations equipped with nonlocal diffusion operator can describe more practical phenomena for modeling phase transitions. In this paper, we construct an accurate and efficient scalar auxiliary variable approach for the nonlocal Cahn-Hilliard equation with general nonlinear po…
▽ More
Comparing with the classical local gradient flow and phase field models, the nonlocal models such as nonlocal Cahn-Hilliard equations equipped with nonlocal diffusion operator can describe more practical phenomena for modeling phase transitions. In this paper, we construct an accurate and efficient scalar auxiliary variable approach for the nonlocal Cahn-Hilliard equation with general nonlinear potential. The first contribution is that we have proved the unconditional energy stability for nonlocal Cahn-Hilliard model and its semi-discrete schemes carefully and rigorously. Secondly, what we need to focus on is that the non-locality of the nonlocal diffusion term will lead the stiffness matrix to be almost full matrix which generates huge computational work and memory requirement. For spatial discretizaion by finite difference method, we find that the discretizaition for nonlocal operator will lead to a block-Toeplitz-Toeplitz-block (BTTB) matrix by applying four transformation operators. Based on this special structure, we present a fast procedure to reduce the computational work and memory requirement. Finally, several numerical simulations are demonstrated to verify the accuracy and efficiency of our proposed schemes.
△ Less
Submitted 10 March, 2019;
originally announced March 2019.
-
Rigorous Asymptotic Models of Water Waves
Authors:
C. H. Arthur Cheng,
Rafael Granero-Belinchon,
Steve Shkoller,
Jon Wilkening
Abstract:
We develop a rigorous asymptotic derivation for two mathematical models of water waves that capture the full nonlinearity of the Euler equations up to quadratic and cubic interactions, respectively. Specifically, letting epsilon denote an asymptotic parameter denoting the steepness of the water wave, we use a Stokes expansion in epsilon to derive a set of linear recursion relations for the tangent…
▽ More
We develop a rigorous asymptotic derivation for two mathematical models of water waves that capture the full nonlinearity of the Euler equations up to quadratic and cubic interactions, respectively. Specifically, letting epsilon denote an asymptotic parameter denoting the steepness of the water wave, we use a Stokes expansion in epsilon to derive a set of linear recursion relations for the tangential component of velocity, the stream function, and the water wave parameterization. The solution of the water waves system is obtained as an infinite sum of solutions to linear problems at each epsilon^k level, and truncation of this series leads to our two asymptotic models, that we call the quadratic and cubic h-models.
Using the growth rate of the Catalan numbers (from number theory), we prove well-posedness of the h-models in spaces of analytic functions, and prove error bounds for solutions of the h-models compared against solutions of the water waves system. We also show that the Craig-Sulem models of water waves can be obtained from our asymptotic procedure and that their WW2 model is well-posed in our functional framework.
We then develop a novel numerical algorithm to solve the quadratic and cubic h-models as well as the full water waves system. For three very different examples, we show that the agreement between the model equations and the water waves solution is excellent, even when the wave steepness is quite large. We also present a numerical example of corner formation for water waves.
△ Less
Submitted 30 June, 2018;
originally announced July 2018.
-
Fast procedures for Caputo fractional derivative and its applications to ordinary and partial differential equations
Authors:
Zhengguang Liu,
Aijie Cheng,
Xiaoli Li,
Hong Wang
Abstract:
In this paper, we develop fast procedures for solving linear systems arising from discretization of ordinary and partial differential equations with Caputo fractional derivative w.r.t time variable. First, we consider a finite difference scheme to solve a two-sided fractional ordinary equation. Furthermore, we present a fast solution technique to accelerate Toeplitz matrix-vector multiplications a…
▽ More
In this paper, we develop fast procedures for solving linear systems arising from discretization of ordinary and partial differential equations with Caputo fractional derivative w.r.t time variable. First, we consider a finite difference scheme to solve a two-sided fractional ordinary equation. Furthermore, we present a fast solution technique to accelerate Toeplitz matrix-vector multiplications arising from finite difference discretization. This fast solution technique is based on a fast Fourier transform and depends on the special structure of coefficient matrices, and it helps to reduce the computational work from $O(N^{3})$ required by traditional methods to $O(Nlog^{2}N)$ and the memory requirement from $O(N^{2})$ to $O(N)$ without using any lossy compression, where $N$ is the number of unknowns. Two finite difference schemes to solve time fractional hyperbolic equations with different fractional order $γ$ are considered. We present a fast solution technique depending on the special structure of coefficient matrices by rearranging the order of unknowns. It helps to reduce the computational work from $O(N^2M)$ required by traditional methods to $O(N$log$^{2}N)$ and the memory requirement from $O(NM)$ to $O(N)$ without using any lossy compression, where $N=τ^{-1}$ and $τ$ is the size of time step, $M=h^{-1}$ and $h$ is the size of space step. Importantly, a fast method is employed to solve the classical time fractional diffusion equation with a lower coast at $O(MN$log$^2N)$, where the direct method requires an overall computational complexity of $O(N^2M)$. Moreover, the applicability and accuracy of the scheme are demonstrated by numerical experiments to support our theoretical analysis.
△ Less
Submitted 30 January, 2018; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Well-posedness of the two-dimensional generalized Benjamin-Bona-Mahony equation on the upper half plane
Authors:
Ying-Chieh Lin,
C. H. Arthur Cheng,
John M. Hong,
Jiahong Wu,
Juan-Ming Yuan
Abstract:
This paper focuses on the two-dimensional Benjamin-Bona-Mahony and Benjamin-Bona-Mahony-Burgers equations with a general flux function. The aim is at the global (in time) well-posedness of the initial-and boundary-value problem for these equations defined in the upper half-plane. Under suitable growth conditions on the flux function, we are able to establish the global well-posedness in a Sobolev…
▽ More
This paper focuses on the two-dimensional Benjamin-Bona-Mahony and Benjamin-Bona-Mahony-Burgers equations with a general flux function. The aim is at the global (in time) well-posedness of the initial-and boundary-value problem for these equations defined in the upper half-plane. Under suitable growth conditions on the flux function, we are able to establish the global well-posedness in a Sobolev class. When the initial- and boundary-data become more regular, the corresponding solutions are shown to be classical. In addition, the continuous dependence on the data is also obtained.
△ Less
Submitted 3 May, 2015;
originally announced May 2015.
-
Well-posedness of the Muskat problem with $H^2$ initial data
Authors:
C. H. Arthur Cheng,
Rafael Granero-Belinchón,
Steve Shkoller
Abstract:
We study the dynamics of the interface between two incompressible fluids in a two-dimensional porous medium whose flow is modeled by the Muskat equations. For the two-phase Muskat problem, we establish global well-posedness and decay to equilibrium for small $H^2$ perturbations of the rest state. For the one-phase Muskat problem, we prove local well-posedness for $H^2$ initial data of arbitrary si…
▽ More
We study the dynamics of the interface between two incompressible fluids in a two-dimensional porous medium whose flow is modeled by the Muskat equations. For the two-phase Muskat problem, we establish global well-posedness and decay to equilibrium for small $H^2$ perturbations of the rest state. For the one-phase Muskat problem, we prove local well-posedness for $H^2$ initial data of arbitrary size. Finally, we show that solutions to the Muskat equations instantaneously become infinitely smooth.
△ Less
Submitted 24 December, 2014;
originally announced December 2014.
-
Solvability and regularity for an elliptic system prescribing the curl, divergence, and partial trace of a vector field on Sobolev-class domains
Authors:
C. H. Arthur Cheng,
Steve Shkoller
Abstract:
We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on…
▽ More
We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on Sobolev-class domains and with Sobolev-class coefficients.
△ Less
Submitted 8 September, 2015; v1 submitted 11 August, 2014;
originally announced August 2014.
-
The existence of solutions of 2-dimensional incompressible Navier-Stokes equations with surface tension in an optimal Sobolev space
Authors:
C. H. Arthur Cheng,
Ying-Chieh Lin,
Cheng-Fang Su
Abstract:
We establish the existence of a solution to the Navier-Stokes equations on a moving domain with surface tension in an optimal Sobolev space for the case of two space dimension. No compatibility conditions are required to guarantee the existence of a solution.
We establish the existence of a solution to the Navier-Stokes equations on a moving domain with surface tension in an optimal Sobolev space for the case of two space dimension. No compatibility conditions are required to guarantee the existence of a solution.
△ Less
Submitted 14 July, 2013;
originally announced July 2013.
-
Global existence and decay for solutions of the Hele-Shaw flow with injection
Authors:
C. H. Arthur Cheng,
Daniel Coutand,
Steve Shkoller
Abstract:
We study the global existence and decay to spherical equilibrium of Hele-Shaw flows with surface tension. We prove that without injection of fluid, perturbations of the sphere decay to zero exponentially fast. On the other hand, with a time-dependent rate of fluid injection into the Hele-Shaw cell, the distance from the moving boundary to an expanding sphere (with time-dependent radius) also decay…
▽ More
We study the global existence and decay to spherical equilibrium of Hele-Shaw flows with surface tension. We prove that without injection of fluid, perturbations of the sphere decay to zero exponentially fast. On the other hand, with a time-dependent rate of fluid injection into the Hele-Shaw cell, the distance from the moving boundary to an expanding sphere (with time-dependent radius) also decays to zero but with an algebraic rate, which depends on the injection rate of the fluid.
△ Less
Submitted 30 August, 2012;
originally announced August 2012.
-
On the Motion of Vortex Sheets with Surface Tension in the 3D Euler Equations with Vorticity
Authors:
C. H. Arthur Cheng,
Daniel Coutand,
Steve Shkoller
Abstract:
We prove well-posedness of vortex sheets with surface tension in the 3D incompressible Euler equations with vorticity.
We prove well-posedness of vortex sheets with surface tension in the 3D incompressible Euler equations with vorticity.
△ Less
Submitted 2 May, 2007;
originally announced May 2007.
-
Navier-Stokes equations interacting with a nonlinear elastic solid shell
Authors:
C. H. Arthur Cheng,
Daniel Coutand,
Steve Shkoller
Abstract:
We study a moving boundary value problem consisting of a viscous incompressible fluid moving and interacting with a nonlinear elastic solid shell. The fluid motion is governed by the Navier-Stokes equations, while the shell is modeled by the nonlinear Koiter shell model, consisting of both bending and membrane tractions. The fluid is coupled to the solid shell through continuity of displacements…
▽ More
We study a moving boundary value problem consisting of a viscous incompressible fluid moving and interacting with a nonlinear elastic solid shell. The fluid motion is governed by the Navier-Stokes equations, while the shell is modeled by the nonlinear Koiter shell model, consisting of both bending and membrane tractions. The fluid is coupled to the solid shell through continuity of displacements and tractions (stresses) along the moving material interface. We prove existence and uniqueness of solutions in Sobolev spaces.
△ Less
Submitted 22 November, 2006;
originally announced November 2006.
-
Navier-Stokes equations interacting with a nonlinear elastic fluid shell
Authors:
C. H. Arthur Cheng,
Daniel Coutand,
Steve Shkoller
Abstract:
We study a moving boundary value problem consisting of a viscous incompressible fluid moving and interacting with a nonlinear elastic fluid shell. The fluid motion is governed by the Navier-Stokes equations, while the fluid shell is modeled by a bending energy which extremizes the Willmore functional and a membrane energy that extremizes the surface area of the shell. The fluid flow and shell de…
▽ More
We study a moving boundary value problem consisting of a viscous incompressible fluid moving and interacting with a nonlinear elastic fluid shell. The fluid motion is governed by the Navier-Stokes equations, while the fluid shell is modeled by a bending energy which extremizes the Willmore functional and a membrane energy that extremizes the surface area of the shell. The fluid flow and shell deformation are coupled together by continuity of displacements and tractions (stresses) along the moving material interface. We prove existence and uniqueness of solutions in Sobolev spaces.
△ Less
Submitted 22 November, 2006; v1 submitted 13 April, 2006;
originally announced April 2006.
