Abstract In Jayanti and Trivisa (2022 J. Math. Fluid Mech. 24 46), the authors proved the existence of local-in-time weak solutions to a model of superfluidity. The system of governing equations was derived in Pitaevskii (1959 Sov. Phys. JETP 8 282–287) and couples the nonlinear Schrödinger equation and the Navier–Stokes equations. In this article, we prove a weak–strong type uniqueness theorem for these weak solutions. Only some of their regularity properties are used, allowing room for improved existence theorems in the future, with compatible uniqueness results. 
                        more » 
                        « less   
                    
                            
                            Rough hypoellipticity for the heat equation in Dirichlet spaces
                        
                    
    
            Abstract This paper aims at proving the local boundedness and continuity of solutions of the heat equation in the context of Dirichlet spaces under some rather weak additional assumptions. We consider symmetric local regular Dirichlet forms, which satisfy mild assumptions concerning (1) the existence of cut‐off functions, (2) a local ultracontractivity hypothesis, and (3) a weak off‐diagonal upper bound. In this setting, local weak solutions of the heat equation, and their time derivatives, are shown to be locally bounded; they are further locally continuous, if the semigroup admits a locally continuous density function. Applications of the results are provided including discussions on the existence of locally bounded heat kernel; structure results for ancient (local weak) solutions of the heat equation. 
        more » 
        « less   
        
    
                            - Award ID(s):
- 2054593
- PAR ID:
- 10406510
- Publisher / Repository:
- Wiley Blackwell (John Wiley & Sons)
- Date Published:
- Journal Name:
- Mathematische Nachrichten
- Volume:
- 296
- Issue:
- 4
- ISSN:
- 0025-584X
- Page Range / eLocation ID:
- p. 1420-1450
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Abstract This paper concerns the existence of global weak solutions à la Leray for compressible Navier–Stokes equations with a pressure law which depends on the density and on time and space variables t and x . The assumptions on the pressure contain only locally Lipschitz assumption with respect to the density variable and some hypothesis with respect to the extra time and space variables. It may be seen as a first step to consider heat-conducting Navier–Stokes equations with physical laws such as the truncated virial assumption. The paper focuses on the construction of approximate solutions through a new regularized and fixed point procedure and on the weak stability process taking advantage of the new method introduced by the two first authors with a careful study of an appropriate regularized quantity linked to the pressure.more » « less
- 
            null (Ed.)A system of partial differential equations for a diffusion interface model is considered for the stationary motion of two macroscopically immiscible, viscous Newtonian fluids in a three-dimensional bounded domain. The governing equations consist of the stationary Navier–Stokes equations for compressible fluids and a stationary Cahn–Hilliard type equation for the mass concentration difference. Approximate solutions are constructed through a two-level approximation procedure, and the limit of the sequence of approximate solutions is obtained by a weak convergence method. New ideas and estimates are developed to establish the existence of weak solutions with a wide range of adiabatic exponent.more » « less
- 
            Motivated by applications to fluid flows with conjugate heat transfer and electrokinetic effects, we propose a direct forcing immersed boundary method for simulating general, discontinuous, Dirichlet and Robin conditions at the interface between two materials. In comparison to existing methods, our approach uses smaller stencils and accommodates complex geometries with sharp corners. The method is built on the concept of a “forcing pair,” defined as two grid points that are adjacent to each other, but on opposite sides of an interface. For 2D problems this approach can simultaneously enforce discontinuous Dirichlet and Robin conditions using a six-point stencil at one of the forcing points, and a 12-point stencil at the other. In comparison, prior work requires up to 14-point stencils at both points. We also propose two methods of accommodating surfaces with sharp corners. The first locally reduces stencils in sharp corners. The second uses the signed distance function to globally smooth all corners on a surface. The smoothing is defined to recover the actual corners as the grid is refined. We verify second-order spatial accuracy of our proposed methods by comparing to manufactured solutions to the Poisson equation with challenging dis- continuous fields across immersed surfaces. Next, to explore the performance of our method for simulating fluid flows with conjugate heat transport, we couple our method to the incompressible Navier–Stokes and continuity equations using a finite-volume projection method. We verify the spatial-temporal accuracy of the solver using manufactured solutions and an analytical solution for circular Couette flow with conjugate heat transfer. Finally, to demonstrate that our method can model moving surfaces, we simulate fluid flow and conjugate heat transport between a stationary cylinder and a rotating ellipse or square.more » « less
- 
            Abstract We prove the existence and uniqueness of global smooth solutions of the critical dissipative SQG equation in bounded domains in . We introduce a new methodology of transforming the single nonlocal nonlinear evolution equation in a bounded domain into an interacting system of extended nonlocal nonlinear evolution equations in the whole space. The proof then uses the method of the nonlinear maximum principle for nonlocal operators in the extended system.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
