Existence of a Solution “in the Large” for Ocean Dynamics Equations

For the system of equations describing the large-scale ocean dynamics, an existence and uniqueness theorem is proved “in the large”. This system is obtained from the 3D Navier–Stokes equations by changing the equation for the vertical velocity component u ₃ under the assumption of smallness of a domain in z-direction, and a nonlinear equation for the density function ρ is added. More precisely, it is proved that for an arbitrary time interval [0, T], any viscosity coefficients and any initial conditions

On the operator of symmetric differentiation on a compact Riemannian manifold with boundary

We state a particular case of one of the theorems which we shall prove. Let Ω be a bounded open set in ℝ ⁿ with smooth boundary and let σ=(σ _ij )be a symmetric second-order tensor with components σ _ij εH ^k(Ω) for some (positive or negative) integer k; H ^k are Sobolev spaces on Ω. Then we have for some u _i εH ^k +1(Ω),i=1,...,n, if and only if (if k<0, the integral is in fact a duality) for any symmetric tensor (ω with components and such that ). Some applications in the theory of elasticity are also given.     

Non-autonomous 2D Navier–Stokes System with Singularly Oscillating External Force and its Global Attractor

We study the global attractor of the non-autonomous 2D Navier–Stokes (N.–S.) system with singularly oscillating external force of the form . If the functions g ₀(x, t) and g ₁ (z, t) are translation bounded in the corresponding spaces, then it is known that the global attractor is bounded in the space H, however, its norm may be unbounded as since the magnitude of the external force is growing. Assuming that the function g ₁ (z, t) has a divergence representation of the form where the functions (see Section 3), we prove that the global attractors of the N.–S. equations are uniformly bounded with respect to for all . We also consider the “limiting” 2D N.–S. system with external force g ₀(x, t). We have found an estimate for the deviation of a solution of the original N.–S. system from a solution u ⁰(x, t) of the “limiting” N.–S. system with the same initial data. If the function g ₁ (z, t) admits the divergence representation, the functions g ₀(x, t) and g ₁ (z, t) are translation compact in the corresponding spaces, and , then we prove that the global attractors converges to the global attractor of the “limiting” system as in the norm of H. In the last section, we present an estimate for the Hausdorff deviation of from of the form: in the case, when the global attractor is exponential (the Grashof number of the “limiting” 2D N.–S. system is small).      

An Example of Finite-time Singularities in the 3d Euler Equations

Let be the exterior of the closed unit ball. Consider the self-similar Euler system

A Helmholtz/Weyl Decomposition in Energy Space

For a bounded region in a Helmholtz/Weyl decomposition of the Sobolev space is given,with orthogonality with respect to the strain-energy inner product of elasticity (anisotropic or isotropic).     

Crack Initiation in Brittle Materials

In this paper we study the crack initiation in a hyper-elastic body governed by a Griffith-type energy. We prove that, during a load process through a time-dependent boundary datum of the type t → t g(x) and in the absence of strong singularities (e.g., this is the case of homogeneous isotropic materials) the crack initiation is brutal, that is, a big crack appears after a positive time t _i > 0. Conversely, in the presence of a point x of strong singularity, a crack will depart from x at the initial time of loading and with zero velocity. We prove these facts for admissible cracks belonging to the large class of closed one-dimensional sets with a finite number of connected components. The main tool we employ to address the problem is a local minimality result for the functional where , k > 0 and f is a suitable Carathéodory function. We prove that if the uncracked configuration u of Ω relative to a boundary displacement ψ has at most uniformly weak singularities, then configurations (uΓ, Γ) with small enough are such that .     

On exact solutions of a class of fractional Euler–Lagrange equations

In this paper, first a class of fractional differential equations are obtained by using the fractional variational principles. We find a fractional Lagrangian L(x(t), where _a ^c D _t ^α x(t)) and 0<α<1, such that the following is the corresponding Euler–Lagrange

A Variational Approach to the Fredholm Alternative for the p-Laplacian near the First Eigenvalue

We are concerned with the existence of a weak solution to the degenerate quasi-linear Dirichlet boundary value problem

Two-Phase Inertial Flow in Homogeneous Porous Media: A Theoretical Derivation of a Macroscopic Model

The purpose of this article is to derive a macroscopic model for a certain class of inertial two-phase, incompressible, Newtonian fluid flow through homogenous porous media. Starting from the continuity and Navier–Stokes equations in each phase β and γ, the method of volume averaging is employed subjected to constraints that are explicitly provided to obtain the macroscopic mass and momentum balance equations. These constraints are on the length- and time-scales, as well as, on some quantities involving capillary, Weber and Reynolds numbers that define the class of two-phase flow under consideration. The resulting macroscopic momentum equation relates the phase-averaged pressure gradient to the filtration or Darcy velocity in a coupled nonlinear form explicitly given by

The Asymptotic Finite-dimensional Character of a Spectrally-hyperviscous Model of 3D Turbulent Flow

We obtain attractor and inertial-manifold results for a class of 3D turbulent flow models on a periodic spatial domain in which hyperviscous terms are added spectrally to the standard incompressible Navier–Stokes equations (NSE). Let P _m be the projection onto the first m eigenspaces of A =−Δ, let μ and α be positive constants with α ≥3/2, and let Q _m =I − P _m , then we add to the NSE operators μ A _φ in a general family such that A _φ≥Q _m A ^α in the sense of quadratic forms. The models are motivated by characteristics of spectral eddy-viscosity (SEV) and spectral vanishing viscosity (SVV) models. A distinguished class of our models adds extra hyperviscosity terms only to high wavenumbers past a cutoff λ _m0 where m ₀ ≤ m, so that for large enough m ₀ the inertial-range wavenumbers see only standard NSE viscosity. We first obtain estimates on the Hausdorff and fractal dimensions of the attractor (respectively and ). For a constant K _α on the order of unity we show if μ ≥ ν that and if μ ≤ ν that where ν is the standard viscosity coefficient, l ₀ = λ₁^−1/2 represents characteristic macroscopic length, and is the Kolmogorov length scale, i.e. where is Kolmogorov’s mean rate of dissipation of energy in turbulent flow. All bracketed constants and K _α are dimensionless and scale-invariant. The estimate grows in m due to the term λ _m /λ₁ but at a rate lower than m ^3/5, and the estimate grows in μ as the relative size of ν to μ. The exponent on is significantly less than the Landau–Lifschitz predicted value of 3. If we impose the condition , the estimates become for μ ≥ ν and for μ ≤ ν. This result holds independently of α, with K _α and c _α independent of m. In an SVV example μ ≥ ν, and for μ ≤ ν aspects of SEV theory and observation suggest setting for 1/c within α orders of magnitude of unity, giving the estimate where c _α is within an order of magnitude of unity. These choices give straight-up or nearly straight-up agreement with the Landau–Lifschitz predictions for the number of degrees of freedom in 3D turbulent flow with m so large that (e.g. in the distinguished-class case for m ₀ large enough) we would expect our solutions to be very good if not virtually indistinguishable approximants to standard NSE solutions. We would expect lower choices of λ _m (e.g. with a > 1) to still give good NSE approximation with lower powers on l ₀/l _ε, showing the potential of the model to reduce the number of degrees of freedom needed in practical simulations. For the choice , motivated by the Chapman–Enskog expansion in the case m = 0, the condition becomes , giving agreement with Landau–Lifschitz for smaller values of λ _m then as above but still large enough to suggest good NSE approximation. Our final results establish the existence of a inertial manifold for reasonably wide classes of the above models using the Foias/Sell/Temam theory. The first of these results obtains such an of dimension N > m for the general class of operators A _φ if α > 5/2. The special class of A _φ such that P _m A _φ = 0 and Q _m A _φ ≥ Q _m A ^α has a unique spectral-gap property which we can use whenever α ≥ 3/2 to show that we have an inertial manifold of dimension m if m is large enough. As a corollary, for most of the cases of the operators A _φ in the distinguished-class case that we expect will be typically used in practice we also obtain an , now of dimension m ₀ for m ₀ large enough, though under conditions requiring generally larger m ₀ than the m in the special class. In both cases, for large enough m (respectively m ₀), we have an inertial manifold for a system in which the inertial range essentially behaves according to standard NSE physics, and in particular trajectories on are controlled by essentially NSE dynamics.      

The Semigeostrophic Equations Discretized in Reference and Dual Variables

We study the evolution of a system of n particles in . That system is a conservative system with a Hamiltonian of the form , where W ₂ is the Wasserstein distance and μ is a discrete measure concentrated on the set . Typically, μ(0) is a discrete measure approximating an initial L ^∞ density and can be chosen randomly. When d  =  1, our results prove convergence of the discrete system to a variant of the semigeostrophic equations. We obtain that the limiting densities are absolutely continuous with respect to the Lebesgue measure. When converges to a measure concentrated on a special d–dimensional set, we obtain the Vlasov–Monge–Ampère (VMA) system. When, d = 1 the VMA system coincides with the standard Vlasov–Poisson system.     

Resolvent Estimates and Maximal Regularity in Weighted L q -spaces of the Stokes Operator in an Infinite Cylinder

Let be an infinite cylinder of , n ≥ 3, with a bounded cross-section of C ^1,1-class. We study resolvent estimates and maximal regularity of the Stokes operator in for 1 < q, r < ∞ and for arbitrary Muckenhoupt weights ω ∈ A _r with respect to x′ ∈ Σ. The proofs use an operator-valued Fourier multiplier theorem and techniques of unconditional Schauder decompositions based on the -boundedness of the family of solution operators for a system in Σ parametrized by the phase variable of the one-dimensional partial Fourier transform. Supported by the Gottlieb Daimler- und Karl Benz-Stiftung, grant no. S025/02-10/03.     

Fluid flow and heat transfer in microchannels with rectangular cross section

Forced convective heat transfer coefficients and friction factors for flow of water in microchannels with a rectangular cross section were measured. An integrated microsystem consisting of five microchannels on one side and a localized heater and seven polysilicon temperature sensors along the selected channels on the other side was fabricated using a double-polished-prime silicon wafer. For the microchannels tested, the friction factor constant obtained are values between 53.7 and 60.4, which are close to the theoretical value from a correlation for macroscopic dimension, 56.9 for D _h  = 100 μm. The heat transfer coefficients obtained by measuring the wall temperature along the micro channels were linearly dependent on the wall temperature, in turn, the heat transfer mechanism is strongly dependent on the fluid properties such as viscosity. The measured Nusselt number in the laminar flow regime tested could be correlated by which is quite different from the constant value obtained in macrochannels.     

Nonlinear Taylor stability of viscoelastic fluids

Using Stuart's energy method, the torque on the inner cylinder, for a second order fluid, in the supercritical regime is calculated. It is found that when the second normal stress difference is negative, the flow is more stable than for a Newtonian fluid and the torque is reduced. If the second normal stress difference is positive, then the flow is more stable and there is no torque reduction. Experimental data related to the present work are discussed.Nomenclature a amplitude of the fundamentals - A _ij ⁽¹⁾ , A _ij ⁽²⁾ first and second Rivlin-Ericksen tensors - d r ₂–r ₁ - D d/dx - E - F - g _ij metric tensor - G torque on the inner cylinder in the supercritical regime - h height of the cylinders - k ₀ /d ² - k ₁ /d ² - I ₁ - I ₂ - I ₃ - I ₄ - r ₁, r ₂ radii of inner and outer cylinders respectively - r ₀ 1/2(r ₁+r ₂) - R Reynolds number ₁ r ₁ d/ ₀ - R _c critical Reynolds number - T Taylor number r _{1 1} ² d ^{3 2}/ ₀ ² *) - T _c critical Taylor number - u ₁, v ₁, w ₁ Fundamentals of the disturbance - u _i , v _i , w _i , (i>1) harmonics - mean velocity (not laminar velocity) - u –u ₁/ar _{1 1} - v v ₁/Rar _{1 1} - x (r–r ₀)/d - , material constants - 0 viscosity - wave number d - density - ₁ angular velocity of inner cylinder - tilde denotes complex conjugate     

Oscillation criteria for a second-order quasilinear neutral functional dynamic equation on time scales

Our aim is to establish some sufficient conditions for the oscillation of the second-order quasilinear neutral functional dynamic equation

A New Approach to the Fundamental Theorem of Surface Theory

The fundamental theorem of surface theory classically asserts that, if a field of positive-definite symmetric matrices (a _αβ ) of order two and a field of symmetric matrices (b _αβ ) of order two together satisfy the Gauss and Codazzi-Mainardi equations in a simply connected open subset ω of , then there exists an immersion such that these fields are the first and second fundamental forms of the surface , and this surface is unique up to proper isometries in . The main purpose of this paper is to identify new compatibility conditions, expressed again in terms of the functions a _αβ and b _αβ , that likewise lead to a similar existence and uniqueness theorem. These conditions take the form of the matrix equation

Well-posedness and Regularity for the Elasticity Equation with Mixed Boundary Conditions on Polyhedral Domains and Domains with Cracks

We prove a regularity result for the anisotropic linear elasticity equation ${P u := {\rm div} \left( \boldmath\mathsf{C} \cdot \nabla u\right) = f}We prove a regularity result for the anisotropic linear elasticity equationP u : = div ( C ·?u) = f{P u := {\rm div} \left( \boldmath\mathsf{C} \cdot \nabla u\right) = f} , with mixed (displacement and traction) boundary conditions on a curved polyhedral domain W ì \mathbbR³{\Omega \subset \mathbb{R}^3} in weighted Sobolev spaces K^m+1_a+1(W){\mathcal {K}^{m+1}_{a+1}(\Omega)} , for which the weight is given by the distance to the set of edges. In particular, we show that there is no loss of K^m_a{\mathcal {K}^{m}_{a}} -regularity. Our curved polyhedral domains are allowed to have cracks. We establish a well-posedness result when there are no neighboring traction boundary conditions and |a| < η, for some small η > 0 that depends on P, on the boundary conditions, and on the domain Ω. Our results extend to other strongly elliptic systems and higher dimensions.     

A class of two-level explicit difference schemes for solving three dimensional heat conduction equation

ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｉｓｐａｐｅｒｄｅａｌｓｗｉｔｈｔｈｅｉｎｉｔｉａｌ＿ｂｏｕｎｄａｒｙｖａｌｕｅｐｒｏｂｌｅｍｏｆｔｈｒｅｅ＿ｄｉｍｅｎｓｉｏｎａｌｈｅａｔｃｏｎｄｕｃｔｉｏｎｅｑｕａｔｉｏｎｉｎｔｈｅｒｅｇｉｏｎＤ :0≤ｘ,ｙ ,ｚ≤Ｌ ,0 ≤ｔ≤Ｔ ｕ ｔ= 2 ｕ ｘ2 2 ｕ ｙ2 2 ｕ ｚ2 ,ｕ｜ｘ=0 =ｆ1(ｙ,ｚ,ｔ) ,　ｕ｜ｘ=Ｌ =ｆ2 (ｙ ,ｚ,ｔ) ,ｕ｜ｙ=0 =ｇ1(ｚ,ｘ,ｔ) ,　ｕ｜ｙ=Ｌ =ｇ2 (ｚ,ｘ,ｔ) ,ｕ｜ｚ=0 =ｈ1(ｘ ,ｙ ,ｔ) ,　ｕ｜ｚ=Ｌ =ｈ2 (ｘ ,ｙ ,ｔ) ,ｕ｜ｔ=0 =φ(ｘ ,ｙ,ｚ) .(1 )(2 )…     

Rotating Navier-Stokes Equations in $${\mathbb R}^{3}_{+}$$ with Initial Data Nondecreasing at Infinity: The Ekman Boundary Layer Problem

We prove time local existence and uniqueness of solutions to a boundary layer problem in a rotating frame around the stationary solution called the Ekman spiral. We choose initial data in the vector-valued homogeneous Besov space for 2 <  p <  ∞. Here the L ^p -integrability is imposed in the normal direction, while we may have no decay in tangential components, since the Besov space contains nondecaying functions such as almost periodic functions. A crucial ingredient is theory for vector-valued homogeneous Besov spaces. For instance we provide and apply an operator-valued bounded H ^∞-calculus for the Laplacian in for a general Banach space .