arXiv subjects
Publications and source records attributed to In-Jee Jeong.
We consider the 3D incompressible Navier-Stokes equations under the following $2+\frac{1}{2}$-dimensional situation: small-scale horizontal vortex blob being stretched by large-scale, anti-parallel pairs of vertical vortex tubes. We prove anomalous dissipation induced by such vortex-stretching.
We study anomalous dissipation in hydrodynamic turbulence in the context of passive scalars. Our main result produces an incompressible $C^\infty([0,T)\times \mathbb{T}^d)\cap L^1([0,T]; C^{1-}(\mathbb{T}^d))$ velocity field which explicitly exhibits anomalous dissipation. As a consequence, this example also shows non-uniqueness of solutions to the transport equation with an incompressible $L^1([0,T]; C^{1-}(\mathbb{T}^d))$ drift, which is smooth except at one point in time. We also provide three sufficient conditions for anomalous dissipation provided solutions to the inviscid equation become singular in a controlled way. Finally, we discuss connections to the Obukhov-Corrsin monofractal theory of scalar turbulence along with other potential applications.
We consider the 3D incompressible Euler equations in vorticity form in the following fundamental domain for the octahedral symmetry group: $\{ (x_1,x_2,x_3): 0<x_3<x_2<x_1 \}.$ In this domain, we prove local well-posedness for $C^α$ vorticities not necessarily vanishing on the boundary with any $0<α<1$, and establish finite-time singularity formation within the same class for smooth and compactly supported initial data. The solutions can be extended to all of $\mathbb{R}^3$ via a sequence of reflections, and therefore we obtain finite-time singularity formation for the 3D Euler equations in $\mathbb{R}^3$ with bounded and piecewise smooth vorticities.
The purpose of this work is to discuss the well-posedness theory of singular vortex patches. Our main results are of two types: well-posedness and ill-posedness. On the well-posedness side, we show that globally $m-$fold symmetric vortex patches with corners emanating from the origin are globally well-posed in natural regularity classes as long as $m\geq 3$. In this case, all of the angles involved solve a \emph{closed} ODE system which dictates the global-in-time dynamics of the corners and only depends on the initial locations and sizes of the corners. {Along the way we obtain a global well-posedness result for a class of symmetric patches with boundary singular at the origin, which includes logarithmic spirals.} On the ill-posedness side, we show that \emph{any} other type of corner singularity in a vortex patch cannot evolve continuously in time except possibly when all corners involved have precisely the angle $\fracπ{2}$ for all time. Even in the case of vortex patches with corners of angle $\fracπ{2}$ or with corners which are only locally $m-$fold symmetric, we prove that they are generically ill-posed. We expect that in these cases of ill-posedness, the vortex patches actually cusp immediately in a self-similar way and we derive some asymptotic models which may be useful in giving a more precise description of the dynamics. In a companion work, we discuss the long-time behavior of symmetric vortex patches with corners and use them to construct patches on $\mathbb{R}^2$ with interesting dynamical behavior such as cusping and spiral formation in infinite time.
In a companion paper, we gave a detailed account of the well-posedness theory for singular vortex patches. Here, we discuss the long-time dynamics of some of the classes of vortex patches we showed to be globally well-posed in the companion work. In particular, we give examples of time-periodic behavior, cusp formation in infinite time at an exponential rate, and spiral formation in infinite time.
By DNS of Navier-Stokes turbulence, Goto-Saito-Kawahara (2017) showed that turbulence consists of a self-similar hierarchy of anti-parallel pairs of vortex tubes, in particular, stretching in larger-scale strain fields creates smaller-scale vortices. Inspired by their numerical result, we examine the Goto-Saito-Kawahara type of vortex-tubes behavior using the 3D incompressible Euler equations, and show that such behavior induces energy cascade in the absence of nonlinear scale-interaction. From this energy cascade, we prove a modified version of the zeroth-law. In the Appendix, we derive Kolmogorov's $-5/3$-law from the GSK point of view.
We show that given an initial vorticity which is bounded and $m$-fold rotationally symmetric for $m \ge 3$, there is a unique global solution to the 2D Euler equation on the whole plane. That is, in the well-known $L^1 \cap L^\infty$ theory of Yudovich, the $L^1$ assumption can be dropped upon having an appropriate symmetry condition. This contains a class of radially homogeneous solutions to the 2D Euler equation, which gives rise to a new 1D fluid model. We discuss several interesting properties of this 1D system. Using this framework, we construct time quasi-periodic solutions to the 2D Euler equation exhibiting pendulum-like behavior. We also exhibit solutions with compact support for which angular derivatives grow linearly in time or exponential in time (the latter being in the presence of a boundary). A similar study can be done for the surface quasi-geostrophic (SQG) equation. Using the same symmetry condition, we prove local existence and uniqueness of solutions which are merely Lipschitz continuous near the origin - though, without the symmetry, Lipschitz initial data is expected to lose its Lipschitz continuity immediately. Once more, a special class of radially homogeneous solutions is considered and we extract a 1D model which bears great resemblance to the so-called De Gregorio model. We then show that finite-time singularity formation for the 1D model implies finite-time singularity formation in the class of Lipschitz solutions to the SQG equation which are compact support. While the study of special infinite energy solutions to fluid models is classical, this appears to be the first case where they can be embedded into a natural existence/uniqueness class for the equation. Moreover, these special solutions approximate finite-energy solutions for long time and have a direct bearing on the global regularity problem for finite-energy solutions.
The global regularity problem for the Boussinesq system is a well known open problem in mathematical fluid dynamics. As a follow up to our work \cite{EJSI}, we give examples of finite-energy and Lipschitz continuous velocity field and density $(u_0,ρ_0)$ which are $C^\infty$-smooth away from the origin and belong to a natural local well-posedness class for the Boussinesq equation whose corresponding local solution becomes singular in finite time. That is, while the sup norm of the gradient of the velocity field and the density remain finite on the time interval $t\in [0,1)$, both quantities become infinite as $t\rightarrow 1$. The key is to use scale-invariant solutions similar to those introduced in \cite{EJSI}. The proof consists of three parts: local well-posedness for the Boussinesq equation in critical spaces, the analysis of certain special infinite-energy solutions belonging to those critical spaces, and finally a cut-off argument to ensure finiteness of energy. All of this is done on spatial domains $\{(x_1,x_2): x_1 \ge γ|x_2|\}$ for any $γ> 0$ so that we can get arbitrarily close to the half-space case. We remark that the $2D$ Euler equation is globally well-posed in all of the situations we look at, so that the singularity is not coming from the domain or the lack of smoothness on the data but from the vorticity amplification due to the presence of a density gradient. It is conceivable that our methods can be adapted to produce finite-energy $C^\infty$ solutions on $\mathbb{R}^2_+$ which become singular in finite time.
For all $ε>0$, we prove the existence of finite-energy strong solutions to the axi-symmetric $3D$ Euler equations on the domains $ \{(x,y,z)\in\mathbb{R}^3: (1+ε|z|)^2\leq x^2+y^2\}$ which become singular in finite time. We further show that solutions with 0 swirl are necessarily globally regular. The proof of singularity formation relies on the use of approximate solutions at exactly the critical regularity level which satisfy a $1D$ system which has solutions which blow-up in finite time. The construction bears similarity to our previous result on the Boussinesq system \cite{EJB} though a number of modifications must be made due to anisotropy and since our domains are not scale-invariant. This seems to be the first construction of singularity formation for finite-energy strong solutions to the actual $3D$ Euler system.
In this paper and the companion paper [EJE2], we establish finite-time singularity formation for finite-energy strong solutions to the axi-symmetric $3D$ Euler equations in the domain $\{(x,y,z)\in\mathbb{R}^3:z^2\leq c(x^2+y^2)\}$ for some $c>0$. In the spirit of our previous works, [EJSI] and [EJB], we do this by first studying scale-invariant solutions which satisfy a one dimensional PDE system and proving that they may become singular in finite time for properly chosen initial data. We then prove local well-posedness for the $3D$ Euler equations in a natural regularity class which includes scale-invariant solutions. While these solutions have uniformly bounded vorticity from time zero until right before the blow-up time, they do not have finite energy. To remedy this, we cut off the scale-invariant data to ensure finite energy and prove that the corresponding local solution must also become singular in finite time. This paper focuses only on the analysis of the scale-invariant solutions themselves and the proof that they can become singular in finite time. The local well-posedness theorem and the cut-off argument are very close to those in [JSI] and [EJB] and are left for the companion paper [EJE2]. It is important to remark that while the fluid domain is the exterior of a cone, we prove global regularity for the axi-symmetric $3D$ Euler equations without swirl in the exact same regularity classes and in the same domain. It is quite possible that the methods we use can be adapted to establish finite-time singularity formation for $C^\infty$ finite-energy solutions to the $3D$ Euler equations on $\mathbb{R}^3_+$.
This work is a companion to [EJE1] and its purpose is threefold: first, we will establish local well-posedness for the axi-symmetric $3D$ Euler equation in the domains $\{(x_1,x_2,x_3) \in \mathbb{R}^3 : x_3^2 \le \mathfrak{c}(x_1^2 + x_2^2) \}$ for $\mathfrak{c}$ sufficiently small in a scale of critical spaces. Second, we will prove that if the vorticity at $t=0$ can be decomposed into a scale-invariant part and a smoother part vanishing at $x=0$, then this decomposition remains valid for $t>0$ so long as the solution exists. This will then immediately imply singularity formation for finite-energy solutions in those critical spaces using that there are scale-invariant solutions which break down in finite time (this was proved in the companion paper [EJE1]). Third, we establish global regularity in the same domain and in the same scale of critical spaces for $0-$swirl solutions to the system. This implies that the finite-time singularity is not coming from the domain or the critical regularity of the data (though, these are important for the present construction), they are coming from a genuine vorticity growth mechanism due to the presence of the swirl. This work and the companion work seem to be the first case when this mechanism has been effectively used to establish finite-time singularity formation for the actual $3D$ Euler system.
We show existence of self-similar solutions satisfying Kolmogorov's scaling for generalized dyadic models of the Euler equations, extending a result of Barbato, Flandoli, and Morandin. The proof is based on the analysis of certain dynamical systems on the plane.
We prove finite-time singularity formation for De Gregorio's model of the three-dimensional vorticity equation in the class of $L^p\cap C^α(\mathbb{R})$ vorticities for some $α>0$ and $p<\infty$. We also prove finite-time singularity formation from smooth initial data for the Okamoto-Sakajo-Wunsch models in a new range of parameter values. As a consequence, we have finite-time singularity for certain infinite-energy solutions of the surface quasi-geostrophic equation which are $C^α$-regular. One of the difficulties in the models we consider is that there are competing \emph{nonlocal} stabilizing effects (advection) and destabilizing effects (vortex stretching) which are of the same size in terms of scaling. Hence, it is difficult to establish the domination of one effect over the other without having strong control of the solution. We conjecture that strong solutions to the De Gregorio model exhibit the following behavior: for each $0<α<1$ there exists an initial $ω_0\in C^α(\mathbb{R})$ which is compactly supported for which the solution becomes singular in finite-time; on the other hand, solutions to De Gregorio's equation are global whenever $ω_0\in L^p\cap C^{1}(\mathbb{R})$ for some $p<\infty$. Such a dichotomy seems to be a genuinely non-linear effect which cannot be explained merely by scaling considerations since $C^α$ spaces are scaling subcritical for each $α>0$.
For the $2D$ Euler equation in vorticity formulation, we construct localized smooth solutions whose critical Sobolev norms become large in a short period of time, and solutions which initially belong to $L^\infty \cap H^1$ but escapes $H^1$ immediately for $t>0$. Our main observation is that a localized chunk of vorticity bounded in $L^\infty \cap H^1$ with odd-odd symmetry is able to generate a hyperbolic flow with large velocity gradient at least for a short period of time, which stretches the vorticity gradient.
In this paper, we study the asymptotic behavior of the first, second, and so on rows of stochastically decaying partitions. We establish that, with appropriate scaling in time and length, the sequence of rows converges to the Airy$_2$ line ensemble. This result was first established, in a more general setting, by Borodin and Olshanski, who relied on the determinantal structure of the Poissonized correlation functions. Our argument is based on a different, combinatorial approach, developed by Okounkov. This approach may be useful in other problems in which no determinantal structure is available, and also highlights the similarity between random partitions and random matrices.
We study outer billiards with contraction outside regular polygons. For regular $n$-gons with $n = 3, 4, 5, 6, 8$, and $12$, we show that as the contraction rate approaches $1$, dynamics of the system converges, in a certain sense, to that of the usual outer billiards map. These are precisely the values of $n \geq 3$ with $[\mathbb{Q}(e^{2πi/n}):\mathbb{Q}] \leq 2$. Then we discuss how such convergence may fail in the case of $n=7$.
We consider the outer billiards map with contraction outside polygons. We construct a 1-parameter family of systems such that each system has an open set in which the dynamics is reduced to that of a piecewise contraction on the interval. Using the theory of rotation numbers, we deduce that every point inside the open set is asymptotic to either a single periodic orbit (rational case) or a Cantor set (irrational case). In particular, we deduce existence of an attracting Cantor set for certain parameter values. Moreover, for a different choice of a 1-parameter family, we prove that the system is uniquely ergodic; in particular, the entire domain is asymptotic to a single attractor.
We partially answer a question raised by Kiselev and Zlatos in \cite{MR2180809}; in the generalized dyadic model of the Euler equation, a blow-up of $H^{1/3+δ}$-norm occurs. We recover a few previous blow-up results for various related dyadic models as corollaries.