arXiv subjects
Publications and source records attributed to Xiaoqian Xu.
In this paper, we prove that the $L^2$ norm of spatial mean-free solutions to the advection--diffusion equation on $\mathbb{T}^2$ with shear drifts satisfies an \emph{exponential lower bound} in time. This lower bound shows that diffusion can fundamentally suppress passive-scalar mixing.
Modeling tumor growth accurately is essential for understanding cancer progression and informing treatment strategies. To estimate the parameters in the tumor growth model described by a nonlinear PDE, we adopt Physics-Informed Neural Networks (PINNs) and DeepONet, which show advantages especially when the observation data is scarce and contains noise. With the help of real-life lab data, we have demonstrated the potential of applying deep learning tools to address data-driven modeling for tumor growth in biology.
We establish explicit lower bounds for advection-diffusion equations in three settings: a polynomial $\dot H^{-1}$ bound for inviscid shears with $u\in L^\infty_t W^{1,1}_y$, a uniform positive lower bound on the mixing scale for diffusive shears, and an exponential $L^2$ bound for rapidly oscillating time-periodic flows. All constants are explicit in the data. The proofs were generated entirely by a multi-agent math proving system, QED, without expert human intervention, serving as a test of AI's capability to produce rigorous mathematics.
We consider the Cahn-Hilliard equation, which models phase separation in binary fluids, on the two-dimen\-sional torus in the presence of advection by a given background shear flow, satisfying certain conditions and of sufficiently large amplitude. By exploiting the resulting enhanced dissipation for the linearized operator, we prove that, with well-prepared data, the solution converges asymptotically at large times to the solution of a one-dimensional Cahn-Hilliard equation, obtained by projecting the full equation in the direction orthogonal to the shear in a suitable sense. This result rigorously justified the observed phenomenon of striation in the concentration field.
In this paper, we accelerate Langevin Monte Carlo sampling from Gibbs measures $π\propto \exp(-U)$ by adding a large drift that preserves the invariant measure. For warm-start initial data, we characterize the sharp asymptotic decay rate of the relative entropy and introduce asymptotic relaxation enhancing flows: sequences that achieve arbitrarily fast decay. We construct such flows on the torus by scaling cellular flows and pushing them forward via diffeomorphisms, and we extend the construction to the full space using a Lyapunov function method to control behavior at infinity without periodization, obtaining explicit finite energy flows that guarantee arbitrarily fast convergence under natural growth conditions on $U$.
In this paper, we investigate the tumor instability by employing both analytical and numerical techniques to validate previous results and extend the analytical findings presented in a prior study by Feng et al 2023. Building upon the insights derived from the analytical reconstruction of key results in the aforementioned work in one dimension (1D) and two dimensions (2D), we extend our analysis to three dimensions (3D). Specifically, we focus on the determination of boundary instability using perturbation and asymptotic analysis along with spherical harmonics. Additionally, we have validated our analytical results in a two-dimensional framework by implementing the Alternating Directional Implicit (ADI) method, as detailed in Witelski and Bowen (2003). Our primary focus has been on ensuring that the numerical simulation of the propagation speed aligns accurately with the analytical findings. Furthermore, we have matched the simulated boundary stability with the analytical predictions derived from the evolution function, which will be defined in subsequent sections of our paper. These alignment is essential for accurately determining the stability or instability of tumor boundaries.
In this paper, we investigate the two-dimensional Patlak-Keller-Segel-Navier-Stokes system perturbed around the Poiseuille flow $(Ay^2,0)^{\top}$ and show that the solutions to this system are global in time if the Poiseuille flow is sufficiently strong in the sense of amplitude A large enough. This seems to be the first result showing that the Poiseuille flow can suppress the chemotactic blow-up of the solution to chemotaxis-fluid system. Our proof will be based on a weighted energy method together with the linear enhanced dissipation established by Coti Zelati-Elgindi-Widmayer (Comm. Math. Phys. 378 (2020) 987-1010).
We study the existence of weak solutions to the $p$-Navier-Stokes equations with a symmetric $p$-Laplacian on bounded domains. We construct a particular Schauder basis in $W_0^{1,p}(Ω)$ with divergence free constraint and prove existence of weak solutions using the Galerkin approximation via this basis. Meanwhile, in the proof, we establish a chain rule for the $L^p$ norm of the weak solutions, which fixes a gap in our previous work. The equality of energy dissipation is also established for the weak solutions considered.
The main contribution of this paper is twofold: (1) Recently, Iyer, Xu, and Zlatoš studied the dissipation enhancement by cellular flows based on standard advection-diffusion equations via a stochastic method. We generalize their results to advective hyper-diffusion equations and advective nonlinear diffusion equations. (2) We prove there exist smooth incompressible flows that are relaxation enhancing to hyper-diffusion but not to standard diffusion.
We investigate the tumor boundary instability induced by nutrient consumption and supply based on a Hele-Shaw model derived from taking the incompressible limit of a cell density model. We analyze the boundary stability/instability in two scenarios: 1) the front of the traveling wave; 2) the radially symmetric boundary. In each scenario, we investigate the boundary behaviors under two different nutrient supply regimes, in vitro, and in vivo. Our main conclusion is that for either scenario, the in vitro regime always stabilizes the tumor's boundary regardless of the nutrient consumption rate. However, boundary instability may occur when the tumor cells aggressively consume nutrients, and the nutrient supply is governed by the in vivo regime.
In this paper, we quantitatively consider the enhanced-dissipation effect of the advection term to the parabolic $p$-Laplacian equations. More precisely, we show the mixing property of flow for the passive scalar enhances the dissipation process of the $p$-Laplacian in the sense of $L^2$ decay, that is, the $L^2$ decay can be arbitrarily fast. The main ingredient of our argument is to understand the underlying iteration structure inherited from the parabolic $p$-Laplacian equations. This extends the dissipation enhancement result of the advection diffusion equation by Yuanyuan Feng and Gautam Iyer into a non-linear setting.
Due to the sophisticated imaging process, an identical scene captured by different cameras could exhibit distinct imaging patterns, introducing distinct proficiency among the super-resolution (SR) models trained on images from different devices. In this paper, we investigate a novel and practical task coded cross-device SR, which strives to adapt a real-world SR model trained on the paired images captured by one camera to low-resolution (LR) images captured by arbitrary target devices. The proposed task is highly challenging due to the absence of paired data from various imaging devices. To address this issue, we propose an unsupervised domain adaptation mechanism for real-world SR, named Dual ADversarial Adaptation (DADA), which only requires LR images in the target domain with available real paired data from a source camera. DADA employs the Domain-Invariant Attention (DIA) module to establish the basis of target model training even without HR supervision. Furthermore, the dual framework of DADA facilitates an Inter-domain Adversarial Adaptation (InterAA) in one branch for two LR input images from two domains, and an Intra-domain Adversarial Adaptation (IntraAA) in two branches for an LR input image. InterAA and IntraAA together improve the model transferability from the source domain to the target. We empirically conduct experiments under six Real to Real adaptation settings among three different cameras, and achieve superior performance compared with existing state-of-the-art approaches. We also evaluate the proposed DADA to address the adaptation to the video camera, which presents a promising research topic to promote the wide applications of real-world super-resolution. Our source code is publicly available at https://github.com/lonelyhope/DADA.git.
In this paper, we consider the following non-local semi-linear parabolic equation with advection: for $1 \le p<1+\frac{2}{N}$, \begin{equation*} \begin{cases} u_t+v \cdot \nabla u-Δu=|u|^p-\int_{\mathbb T^N} |u|^p \quad & \textrm{on} \quad \mathbb T^N, \\ \\ u \ \textrm{periodic} \quad & \textrm{on} \quad \partial \mathbb T^N \end{cases} \end{equation*} with initial data $u_0$ defined on $\mathbb T^N$. Here $v$ is an incompressible flow, and $\mathbb T^N=[0, 1]^N$ is the $N$-torus with $N$ being the dimension. We first prove the local existence of mild solutions to the above equation for arbitrary data in $L^2$. We then study the global existence of the solutions under the following two scenarios: (1). when $v$ is a mixing flow; (2). when $v$ is a shear flow. More precisely, we show that under these assumptions, there exists a global solution to the above equation in the sense of $L^2$.
We consider following fourth-order parabolic equation with gradient nonlinearity on the two-dimensional torus with and without advection of an incompressible vector field in the case $2<p<3$: \begin{equation*} \partial_t u + (-Δ)^2 u = -\nabla\cdot(|\nabla u|^{p-2}\nabla u). \end{equation*} The study of this form of equations arises from mathematical models that simulate the epitaxial growth of the thin film. We prove the local existence of mild solutions for any initial data lies in $L^2$ in both cases. Our main result is: in the advective case, if the imposed advection is sufficiently mixing, then the global existence of solution can be proved, and the solution will converge exponentially to a homogeneous mixed state. While in the absence of advection, there exist initial data in $H^2\cap W^{1,\infty}$ such that the solution will blow up in finite time.
In this paper we study the effect of the addition of a convective term, and of the resulting increased dissipation rate, on the growth of solutions to a general class of non-linear parabolic PDEs. In particular, we show that blow-up in these models can always be prevented if the added drift has a small enough dissipation time. We also prove a general result relating the dissipation time and the effective diffusivity of stationary cellular flows, which allows us to obtain examples of simple incompressible flows with arbitrarily small dissipation times. As an application, we show that blow-up in the Keller-Segel model of chemotaxis can always be prevented if the velocity field of the ambient fluid has a sufficiently small dissipation time. We also study reaction-diffusion equations with ignition-type nonlinearities, and show that the reaction can always be quenched by the addition of a convective term with a small enough dissipation time, provided the average initial temperature is initially below the ignition threshold.
In this note, we prove or re-prove several important results regarding one dimensional time fractional ODEs following our previous work \cite{fllx17}. Here we use the definition of Caputo derivative proposed in \cite{liliu17frac1,liliu2017} based on a convolution group. In particular, we establish generalized comparison principles consistent with the new definition of Caputo derivatives. In addition, we establish the full asymptotic behaviors of the solutions for $D_c^γu=Au^p$. Lastly, we provide a simplified proof for the strict monotonicity and stability in initial values for the time fractional differential equations with weak assumptions.
In this paper, we study 1D autonomous fractional ODEs $D_c^γu=f(u), 0< γ<1$, where $u: [0,\infty)\mapsto\mathbb{R}$ is the unknown function and $D_c^γ$ is the generalized Caputo derivative introduced by Li and Liu ( arXiv:1612.05103). Based on the existence and uniqueness theorem and regularity results in previous work, we show the monotonicity of solutions to the autonomous fractional ODEs and several versions of comparison principles. We also perform a detailed discussion of the asymptotic behavior for $f(u)=Au^p$. In particular, based on an Osgood type blow-up criteria, we find relatively sharp bounds of the blow-up time in the case $A>0, p>1$. These bounds indicate that as the memory effect becomes stronger ($γ\to 0$), if the initial value is big, the blow-up time tends to zero while if the initial value is small, the blow-up time tends to infinity. In the case $A<0, p>1$, we show that the solution decays to zero more slowly compared with the usual derivative. Lastly, we show several comparison principles and Grönwall inequalities for discretized equations, and perform some numerical simulations to confirm our analysis.
The question of the global regularity vs finite time blow up in solutions of the 3D incompressible Euler equation is a major open problem of modern applied analysis. In this paper, we study a class of one-dimensional models of the axisymmetric hyperbolic boundary blow up scenario for the 3D Euler equation proposed by Hou and Luo based on extensive numerical simulations. These models generalize the 1D Hou-Luo model suggested in Hou & Luo's paper, for which finite time blow up has been established in the paper by Kyudong Choi, Thomas Y. Hou, Alexander Kiselev, Guo Luo, Vladimir Sverak, Yao Yao. The main new aspects of this work are twofold. First, we establish finite time blow up for a model that is a closer approximation of the three dimensional case than the original Hou-Luo model, in the sense that it contains relevant lower order terms in the Biot-Savart law that have been discarded in the paper by Hou & Luo's and the paper by Choi et al.. Secondly, we show that the blow up mechanism is quite robust, by considering a broader family of models with the same main term as in the Hou-Luo model. Such blow up stability result may be useful in further work on understanding the 3D hyperbolic blow up scenario.