An official website of the United States government
A filtration system comprising a Biot poroelastic solid coupled to an incompressible Stokes free‐flow is considered in 3D. Across the flat 2D interface, the Beavers‐Joseph‐Saffman coupling conditions are taken. In the inertial, linear, and non‐degenerate case, the hyperbolic‐parabolic coupled problem is posed through a dynamics operator on a chosen energy space, adapted from Stokes‐Lamé coupled dynamics. A semigroup approach is utilized to circumvent issues associated to mismatched trace regularities at the interface. The generation of a strongly continuous semigroup for the dynamics operator is obtained via a non‐standard maximality argument. The latter employs a mixed‐variational formulation in order to invoke the Babuška‐Brezzi theorem. The Lumer‐Philips theorem then yields semigroup generation, and thereby, strong and generalized solutions are obtained. For the linear dynamics, density obtains the existence of weak solutions; we extend to the case where the Biot compressibility of constituents degenerates. Thus, for the inertial linear Biot‐Stokes filtration system, we provide a clear elucidation of strong solutions and a construction of weak solutions, as well as their regularity through associated estimates.
more »
« less
A Remark on the Uniqueness of Solutions to Hyperbolic Conservation Laws
Given a strictly hyperbolic $$n\times n$$ system of conservation laws, it is well known that there exists a unique Lipschitz semigroup of weak solutions, defined on a domain of functions with small total variation, which are limits of vanishing viscosity approximations. The aim of this note is to prove that every weak solution taking values in the domain of the semigroup, and whose shocks satisfy the Liu admissibility conditions, actually coincides with a semigroup trajectory.
more »
« less
- Award ID(s):
- 1946175
- PAR ID:
- 10483951
- Publisher / Repository:
- Springer
- Date Published:
- Journal Name:
- Archive for Rational Mechanics and Analysis
- Volume:
- 247
- Issue:
- 6
- ISSN:
- 0003-9527
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
We prove the inviscid limit for the incompressible Navier-Stokes equations for data that are analytic only near the boundary in a general two-dimensional bounded domain. Our proof is direct, using the vorticity formulation with a nonlocal boundary condition, the explicit semigroup of the linear Stokes problem near the flatten boundary, and the standard wellposedness theory of Navier-Stokes equations in Sobolev spaces away from the boundary.more » « less
-
null (Ed.)We consider a recent plate model obtained as a scaled limit of the three-dimensional Biot system of poro-elasticity. The result is a ‘2.5’-dimensional linear system that couples traditional Euler–Bernoulli plate dynamics to a pressure equation in three dimensions, where diffusion acts only transversely. We allow the permeability function to be time dependent, making the problem non-autonomous and disqualifying much of the standard abstract theory. Weak solutions are defined in the so-called quasi-static case, and the problem is framed abstractly as an implicit, degenerate evolution problem. Utilizing the theory for weak solutions for implicit evolution equations, we obtain existence of solutions. Uniqueness is obtained under additional hypotheses on the regularity of the permeability function. We address the inertial case in an appendix, by way of semigroup theory. The work here provides a baseline theory of weak solutions for the poro-elastic plate and exposits a variety of interesting related models and associated analytical investigations.more » « less
-
Let A be a separable simple exact Z-stable C∗-algebra. We show that the unitary group of \tilde{A} has the cancellation property. If A has continuous scale then the Cuntz semigroup of A has strict comparison property and a weak cancellation property. Let C be a 1-dimensional noncommutative CW complex with K1(C) = {0}. Suppose that λ : Cu∼(C) → Cu∼(A) is a morphism in the augmented Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms φn : C → A such that limn→∞ Cu∼(φn) = λ. This result leads to the proof that every separable amenable simple C∗-algebra in the UCT class has rationally generalized tracial rank at most one.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/s00205-023-01936-y
