skip to main content


Title: Global existence for the two-dimensional Kuramoto–Sivashinsky equation with a shear flow
Abstract

We consider the Kuramoto–Sivashinsky equation (KSE) on the two-dimensional torus in the presence of advection by a given background shear flow. Under the assumption that the shear has a finite number of critical points and there are linearly growing modes only in the direction of the shear, we prove global existence of solutions with data in$$L^2$$L2, using a bootstrap argument. The initial data can be taken arbitrarily large.

 
more » « less
Award ID(s):
1909103 1928930
NSF-PAR ID:
10307647
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Journal of Evolution Equations
ISSN:
1424-3199
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    We prove that the Hilbert scheme ofkpoints on$${\mathbb {C}}^2$$C2($$\hbox {Hilb}^k[{\mathbb {C}}^2]$$Hilbk[C2]) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its Kähler and equivariant parameters as well as inverting the weight of the$${\mathbb {C}}^\times _\hbar $$Cħ×-action. First, we find a two-parameter family$$X_{k,l}$$Xk,lof self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of$$\hbox {Hilb}^k[{\mathbb {C}}^2]$$Hilbk[C2]is obtained via direct limit$$l\longrightarrow \infty $$land by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted$$\hbar $$ħ-opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-Nsheaves on$${\mathbb {P}}^2$$P2with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.

     
    more » « less
  2. Abstract

    We introduce a family of Finsler metrics, called the$$L^p$$Lp-Fisher–Rao metrics$$F_p$$Fp, for$$p\in (1,\infty )$$p(1,), which generalizes the classical Fisher–Rao metric$$F_2$$F2, both on the space of densities$${\text {Dens}}_+(M)$$Dens+(M)and probability densities$${\text {Prob}}(M)$$Prob(M). We then study their relations to the Amari–C̆encov$$\alpha $$α-connections$$\nabla ^{(\alpha )}$$(α)from information geometry: on$${\text {Dens}}_+(M)$$Dens+(M), the geodesic equations of$$F_p$$Fpand$$\nabla ^{(\alpha )}$$(α)coincide, for$$p = 2/(1-\alpha )$$p=2/(1-α). Both are pullbacks of canonical constructions on$$L^p(M)$$Lp(M), in which geodesics are simply straight lines. In particular, this gives a new variational interpretation of$$\alpha $$α-geodesics as being energy minimizing curves. On$${\text {Prob}}(M)$$Prob(M), the$$F_p$$Fpand$$\nabla ^{(\alpha )}$$(α)geodesics can still be thought as pullbacks of natural operations on the unit sphere in$$L^p(M)$$Lp(M), but in this case they no longer coincide unless$$p=2$$p=2. Using this transformation, we solve the geodesic equation of the$$\alpha $$α-connection by showing that the geodesic are pullbacks of projections of straight lines onto the unit sphere, and they always cease to exists after finite time when they leave the positive part of the sphere. This unveils the geometric structure of solutions to the generalized Proudman–Johnson equations, and generalizes them to higher dimensions. In addition, we calculate the associate tensors of$$F_p$$Fp, and study their relation to$$\nabla ^{(\alpha )}$$(α).

     
    more » « less
  3. Abstract

    It has been recently established in David and Mayboroda (Approximation of green functions and domains with uniformly rectifiable boundaries of all dimensions.arXiv:2010.09793) that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the “flagship degenerate operators on sets with lower dimensional boundaries. We consider the elliptic operators$$L_{\beta ,\gamma } =- {\text {div}}D^{d+1+\gamma -n} \nabla $$Lβ,γ=-divDd+1+γ-nassociated to a domain$$\Omega \subset {\mathbb {R}}^n$$ΩRnwith a uniformly rectifiable boundary$$\Gamma $$Γof dimension$$d < n-1$$d<n-1, the now usual distance to the boundary$$D = D_\beta $$D=Dβgiven by$$D_\beta (X)^{-\beta } = \int _{\Gamma } |X-y|^{-d-\beta } d\sigma (y)$$Dβ(X)-β=Γ|X-y|-d-βdσ(y)for$$X \in \Omega $$XΩ, where$$\beta >0$$β>0and$$\gamma \in (-1,1)$$γ(-1,1). In this paper we show that the Green functionGfor$$L_{\beta ,\gamma }$$Lβ,γ, with pole at infinity, is well approximated by multiples of$$D^{1-\gamma }$$D1-γ, in the sense that the function$$\big | D\nabla \big (\ln \big ( \frac{G}{D^{1-\gamma }} \big )\big )\big |^2$$|D(ln(GD1-γ))|2satisfies a Carleson measure estimate on$$\Omega $$Ω. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the “magical distance function from David et al. (Duke Math J, to appear).

     
    more » « less
  4. Abstract

    We study the behavior of solutions to the incompressible 2dEuler equations near two canonical shear flows with critical points, the Kolmogorov and Poiseuille flows, with consequences for the associated Navier–Stokes problems. We exhibit a large family of new, non-trivial stationary states that are arbitrarily close to the Kolmogorov flow on the square torus$$\mathbb {T}^2$$T2in analytic regularity. This situation contrasts strongly with the setting of some monotone shear flows, such as the Couette flow: there the linearized problem exhibits an “inviscid damping” mechanism that leads to relaxation of perturbations of the base flows back to nearby shear flows. Our results show that such a simple description of the long-time behavior is not possible for solutions near the Kolmogorov flow on$$\mathbb {T}^2$$T2. Our construction of the new stationary states builds on a degeneracy in the global structure of the Kolmogorov flow on$$\mathbb {T}^2$$T2, and we also show a lack of correspondence between the linearized description of the set of steady states and its true nonlinear structure. Both the Kolmogorov flow on a rectangular torus and the Poiseuille flow in a channel are very different. We show that the only stationary states near them must indeed be shears, even in relatively low regularity. In addition, we show that this behavior is mirrored closely in the related Navier–Stokes settings: the linearized problems near the Poiseuille and Kolmogorov flows both exhibit an enhanced rate of dissipation. Previous work by us and others shows that this effect survives in the full, nonlinear problem near the Poiseuille flow and near the Kolmogorov flow on rectangular tori, provided that the perturbations lie below a certain threshold. However, we show here that the corresponding result cannot hold near the Kolmogorov flow on$${\mathbb T}^2$$T2.

     
    more » « less
  5. Abstract

    In this paper, we study multistage stochastic mixed-integer nonlinear programs (MS-MINLP). This general class of problems encompasses, as important special cases, multistage stochastic convex optimization withnon-Lipschitzianvalue functions and multistage stochastic mixed-integer linear optimization. We develop stochastic dual dynamic programming (SDDP) type algorithms with nested decomposition, deterministic sampling, and stochastic sampling. The key ingredient is a new type of cuts based on generalized conjugacy. Several interesting classes of MS-MINLP are identified, where the new algorithms are guaranteed to obtain the global optimum without the assumption of complete recourse. This significantly generalizes the classic SDDP algorithms. We also characterize the iteration complexity of the proposed algorithms. In particular, for a$$(T+1)$$(T+1)-stage stochastic MINLP satisfyingL-exact Lipschitz regularization withd-dimensional state spaces, to obtain an$$\varepsilon $$ε-optimal root node solution, we prove that the number of iterations of the proposed deterministic sampling algorithm is upper bounded by$${\mathcal {O}}((\frac{2LT}{\varepsilon })^d)$$O((2LTε)d), and is lower bounded by$${\mathcal {O}}((\frac{LT}{4\varepsilon })^d)$$O((LT4ε)d)for the general case or by$${\mathcal {O}}((\frac{LT}{8\varepsilon })^{d/2-1})$$O((LT8ε)d/2-1)for the convex case. This shows that the obtained complexity bounds are rather sharp. It also reveals that the iteration complexity dependspolynomiallyon the number of stages. We further show that the iteration complexity dependslinearlyonT, if all the state spaces are finite sets, or if we seek a$$(T\varepsilon )$$(Tε)-optimal solution when the state spaces are infinite sets, i.e. allowing the optimality gap to scale withT. To the best of our knowledge, this is the first work that reports global optimization algorithms as well as iteration complexity results for solving such a large class of multistage stochastic programs. The iteration complexity study resolves a conjecture by the late Prof. Shabbir Ahmed in the general setting of multistage stochastic mixed-integer optimization.

     
    more » « less