Search arXivSearch

arXiv · 2512.21171

Navier-Stokes-Cahn-Hilliard system in a $3$D perforated domain with free slip and source term: Existence and homogenization

Abstract

We study a time-dependent Navier--Stokes--Cahn--Hilliard system for a binary incompressible mixture in a periodically perforated domain $Ω_p^\varepsilon\subset\mathbb{R}^3$. The obstacles have diameter of order $\varepsilon^α$, with $α>3$, and mutual distance of order $\varepsilon$. Hence $\varepsilon^α/\varepsilon^3\to0$, which corresponds to the subcritical dilute regime. The model includes a periodically oscillating viscosity tensor, a nonconservative source term in the Cahn--Hilliard equation, no-slip conditions on the outer boundary, and free-slip conditions on the obstacle surfaces. The capillary coefficient $λ^\varepsilon>0$ depends on $\varepsilon$. For every fixed $\varepsilon>0$, we prove existence of a weak solution and derive estimates uniform in $\varepsilon$ with explicit $λ^\varepsilon$-scaling. Assuming $λ^\varepsilon\toλ\in[0,\infty)$, we derive the homogenized system on the whole domain. The subcritical obstacles leave no additional resistance term, and the cell problems are posed on the full periodic cell. The scalar correctors vanish, so the scalar diffusion operators remain unchanged, while the oscillating viscosity gives a time-dependent effective viscosity tensor. If $λ=0$, the limit decouples into an effective unsteady Stokes system and a Cahn--Hilliard system with source. If $λ>0$, the limit retains the Navier--Stokes--Cahn--Hilliard coupling, with convection, phase transport, and capillary forcing weighted by $\sqrtλ$. We also prove convergence of the time-integrated normalized microscopic energy to the corresponding macroscopic energy.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Amartya Chakrabortty, Haradhan Dutta, Hari Shankar Mahato. 2026-08-20. Navier-Stokes-Cahn-Hilliard system in a $3$D perforated domain with free slip and source term: Existence and homogenization. https://arxiv.org/abs/2512.21171

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A linear test approach to global controllability of third- and fifth-order nonlinear dispersive equations

We investigate third- and fifth-order nonlinear dispersive equations of KdV type on the torus and establishes approximate controllability by a fixed four-dimensional control; rather than relying solely on the saturation machinery, the analysis exploits the finite-dimensional controllability of the inviscid Burgers equation linearized around a carefully constructed return trajectory, with the trajectory itself obtained from an observable family. This ``linear test" strategy, yields more information about the structure of the control than the standard approach. In particular, the constructed control is shown to depend continuously on the initial and target states, a property that is by no means automatic in nonlinear control problems, and to decompose as a bounded linear operator applied to the data plus a fixed remainder, with the operator part interestingly independent of the order of dispersion.

math.AP

A conditional Lagrangian clock barrier at the $C^{1,\frac{1}{3}}$ threshold for axisymmetric Euler without swirl

We consider axisymmetric no-swirl solutions to the three-dimensional incompressible Euler equations, with initial velocity in $C^{1,α}\cap L^2$, where $α\in\left[\frac{1}{3},1\right)$. In a major breakthrough, Shkoller introduced a clock-and-driver framework that he used in order to prove finite-time type I blow-up below the $C^{1,\frac{1}{3}}$ threshold in this setting. Motivated by this, we define Lagrangian classes of coherent conditional solutions for which the same mechanism yields a supercritical-critical barrier to blow-up when $α\geq\frac{1}{3}$. When $α>\frac{1}{3}$, the aforementioned barrier is genuinely depleted, whereas at the critical endpoint $α=\frac{1}{3}$, we obtain an exponential bound preventing blow-up. In the general case, we formulate a matrix-clock criterion in terms of the smallest singular value of the deformation gradient and show that, under transverse cusp-tail, longitudinal, off-clock, Dini, and suitable geometric coherence hypotheses, this singular value cannot collapse in finite time. In particular, we also show that the class of such coherent solutions includes the smooth ones locally in time. In the on-axis case, the criterion reduces to the scalar clock inequality $\displaystyle \dot{J}(t)\gtrsim -B(t)J(t)-CJ(t)^{3α}$, which rules out Shkoller-type clock collapse for $α\geq\frac{1}{3}$. These results do not enlarge the known Lorentz-space global regularity classes. Rather, they in particular identify the supercritical Lagrangian obstruction dual to Shkoller's subcritical blow-up mechanism in the case $α>\frac{1}{3}$.

math.AP