Related papers: Steady Prandtl Layer Expansions with External Forc…
We study the boundary layer theory for slightly viscous stationary flows forced by an imposed slip velocity at the boundary. According to the theory of Prandtl (1904) and Batchelor (1956), any Euler solution arising in this limit and…
We consider difference equations of the form $x_{n+1}=F_0(x_n,\ldots,x_{n-k+1}),$ and increase the delay through a process of successive substitutions to obtain a sequence of systems $y_{n+1}=F_j(x_{n-j},\ldots,x_{n-k-j+1}),\;…
We work with symmetric inner models of forcing extensions based on strongly compact Prikry forcing to extend some known results.
Results on the Prandtl-Blasius type kinetic and thermal boundary layer thicknesses in turbulent Rayleigh-B\'enard convection in a broad range of Prandtl numbers are presented. By solving the laminar Prandtl-Blasius boundary layer equations,…
We prove a global continuation result for $T$-periodic solutions of a $T$-periodic parametrized second order retarded functional differential equation on a boundaryless compact manifold with nonzero Euler-Poincare' characteristic. The…
We show that a particular form of target propagation, i.e., relying on learned inverses of each layer, which is differential, i.e., where the target is a small perturbation of the forward propagation, gives rise to an update rule which…
We prove sufficient conditions, ensuring that a sequence of multiple Wiener-It\^{o} integrals (with respect to a general Gaussian process) converges stably to a mixture of normal distributions. Our key tool is an asymptotic decomposition of…
When a solid plate is withdrawn from a partially wetting liquid, a liquid layer dewets the moving substrate. High-speed imaging reveals alternating thin and thick regions in the entrained layer in the transverse direction at steady state.…
We introduce a new, large class of continued fraction algorithms producing what are called contracted Farey expansions. These algorithms are defined by coupling two acceleration techniques -- induced transformations and contraction -- in…
Thermal convection in an inclined layer between two parallel walls kept at different fixed temperatures is studied for fixed Prandtl number Pr=1.07. Depending on the angle of inclination and the imposed temperature difference, the flow…
We prove a generalization of Gromov's conjecture on scalar curvature rigidity of convex polytopes to arbitrary convex Riemannian polytope type domains via harmonic spinors on convex domians with boundary condition constructed by Brendle. In…
Surface incompressibility, also called inextensibility, imposes a zero-surface-divergence constraint on the velocity of a closed deformable material surface. The well-posedness of the mechanical problem under such constraint depends on an…
In this paper, we investigate the well-posedness theory for the MHD boundary layer system in two-dimensional space. The boundary layer equations are governed by the Prandtl type equations that are derived from the full incompressible MHD…
An expression for the stress tensor near an external boundary of a discrete mechanical system is derived explicitly in terms of the constituents' degrees of freedom and interaction forces. Starting point is the exact and general coarse…
Self-similar sets require a separation condition to admit a nice mathematical structure. The classical open set condition (OSC) is difficult to verify. Zerner proved that there is a positive and finite Hausdorff measure for a weaker…
Property Directed Reachability (PDR) is a widely used technique for formal verification of hardware and software systems. This paper presents an incremental version of PDR (IPDR), which enables the automatic verification of system instances…
The Shale-Stinespring Theorem (1965) together with Ruijsenaar's criterion (1977) provide a necessary and sufficient condition for the implementability of the evolution of external field quantum electrodynamics between constant-time…
Given a closed two dimensional manifold, we prove a general existence result for a class of elliptic PDEs with exponential nonlinearities and negative Dirac deltas on the right-hand side, extending a theory recently obtained for the regular…
We establish a rigidity theorem for Brendle and Hung's recent systolic inequality, which involves Gromov's notion of \(T^{\rtimes}\)-stabilized scalar curvature. Our primary technique is the construction of foliations by free boundary…
We give arguments for and prove the consistency of some internal forcing axioms.