Asymptotics of the Velocity Potential of an Ideal Fluid Flowing around a Thin Body

We consider the Neumann problem outside a small neighborhood of a planar disk in the three-dimensional space. The surface of this neighborhood is assumed to be smooth, and its thickness is characterized by a small parameter ε. A uniform asymptotic expansion of the solution of this problem with respect to ε is constructed by the matching method. Since the problem turned out to be bisingular, an additional inner asymptotic expansion in the so-called stretched variables is constructed near the edge of the disk. A physical interpretation of the solution of this boundary value problem is the velocity potential of a laminar flow of an ideal fluid around a thin body, which is the neighborhood of the disk. It is assumed that this flow has unit velocity at a large distance from the disk, which is equivalent to the following condition for the potential: u(x₁, x₂, x₃, ε) = x₃+O(r^?2) as r → ∞, where r is the distance to the origin. The boundary condition of this problem is the impermeability of the surface of the body: ?u/?n = 0 at the boundary. After subtracting x₃ from the solution u(x₁, x₂, x₃, ε), we get a boundary value problem for the potential ?(x₁, x₂, x₃, ε) of the perturbed motion. Since the integral of the function ??/?n over the surface of the body is zero, we have ?(x₁, x₂, x₃, ε) = O(r^?2) as r → ∞. Hence, all the coefficients of the outer asymptotic expansion with respect to ε have the same behavior at infinity. However, these coefficients have growing singularities at the approach to the edge of the disk, which implies the bisingularity of the problem.     

Homogenization of hyperbolic equations

We consider a self-adjoint matrix elliptic operator A _{ε, ε} > 0, on L ₂(R ^d ;C ⁿ ) given by the differential expression b(D)*g(x/ε)b(D). The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice; b(D) is an (m × n)-matrix first order differential operator such that m ≥ n and the symbol b(ξ) has maximal rank. We study the operator cosine cos(τA _ε ^1/2 ), where τ ∈ R. It is shown that, as ε → 0, the operator cos(τA _ε ^1/2 ) converges to cos(τ(A ⁰)^1/2) in the norm of operators acting from the Sobolev space H ^s (R ^d ;C ⁿ ) (with a suitable s) to L ₂(R ^d ;C ⁿ ). Here A ₀ is the effective operator with constant coefficients. Sharp-order error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the hyperbolic equation ? _τ ² u _ε (x, τ) = ?A _ε u _ε (x, τ).     

Homogenization of Schrödinger-type equations

We consider a self-adjoint elliptic operator A_ε, ε> 0, on L₂(R^d; Cⁿ) given by the differential expression b(D)*g(x/ε)b(D). Here \(b(D) = \sum\nolimits_{j = 1}^d {b_j D_j }\) is a first-order matrix differential operator such that the symbol b(ξ) has maximal rank. The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice. We study the operator exponential \({e^{ - i\tau {A_\varepsilon }}}\), where τ ∈ R. It is shown that, as ε → 0, the operator \({e^{ - i\tau {A_\varepsilon }}}\) converges to \({e^{ - i\tau {A^0}}}\) in the norm of operators acting from the Sobolev space H^s(R^d;Cⁿ) (with suitable s) to L₂(R^d;Cⁿ). Here A⁰ is the effective operator with constant coefficients. Order-sharp error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the Schrödinger-type equation i?_τu_ε(x, τ) = A_εu_ε(x, τ).     

Homogenization of the Dirichlet problem for elliptic and parabolic systems with periodic coefficients

Let O ? R ^d be a bounded domain of class C ^1,1. Let 0 < ε - 1. In L ₂(O;C ⁿ ) we consider a positive definite strongly elliptic second-order operator B _D,ε with Dirichlet boundary condition. Its coefficients are periodic and depend on x/ε. The principal part of the operator is given in factorized form, and the operator has lower order terms. We study the behavior of the generalized resolvent (B _D,ε ? ζQ ₀(·/ε))^?1 as ε → 0. Here the matrix-valued function Q ₀ is periodic, bounded, and positive definite; ζ is a complex-valued parameter. We find approximations of the generalized resolvent in the L ₂(O;C ⁿ )-operator norm and in the norm of operators acting from L ₂(O;C ⁿ ) to the Sobolev space H ¹(O;C ⁿ ) with two-parameter error estimates (depending on ε and ζ). Approximations of the generalized resolvent are applied to the homogenization of the solution of the first initial-boundary value problem for the parabolic equation Q ₀(x/ε)? _t v _ε (x, t) = ?(B _D,ε v _ε )(x, t).     

The Cauchy problem for operators with injective symbol in the Lebesgue space <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> in a domain

Let D be a bounded domain in ? ⁿ (n ≥ 2) with infinitely smooth boundary ?D. We give some necessary and sufficient conditions for the Cauchy problem to be solvable in the Lebesgue space L ²(D) in D for an arbitrary differential operator A having an injective principal symbol. Furthermore, using bases with double orthogonality, we construct Carleman’s formula that restores a (vector-)function in L ²(D) from the Cauchy data given on a relatively open connected set Γ ? ?D and the values Au in D whenever the data belong to L ²(Γ) and L ²(D) respectively.     

Homogenization of a nonstationary model equation of electrodynamics

In L ₂(?₃;?₃), we consider a self-adjoint operator ? _ε , ε > 0, generated by the differential expression curl η(x/ε)^?1 curl??ν(x/ε) div. Here the matrix function η(x) with real entries and the real function ν(x) are periodic with respect to some lattice, are positive definite, and are bounded. We study the behavior of the operators cos(τ? _ε ^1/2 ) and ? _ε ^?1/2 sin(τ? _ε ^1/2 ) for τ ∈ ? and small ε. It is shown that these operators converge to cos(τ(?⁰)^1/2) and (?₀)^?1/2 sin(τ(?₀)^1/2), respectively, in the norm of the operators acting from the Sobolev space H ^s (with a suitable s) to ?₂. Here ?⁰ is an effective operator with constant coefficients. Error estimates are obtained and the sharpness of the result with respect to the type of operator norm is studied. The results are used for homogenizing the Cauchy problem for the model hyperbolic equation ? _τ ² v _ε = ?? _ε v _ε , div v _ε = 0, appearing in electrodynamics. We study the application to a nonstationary Maxwell system for the case in which the magnetic permeability is equal to 1 and the dielectric permittivity is given by the matrix η(x/ε).     

Criterion for the Solvability of the Weighted Cauchy Problem for an Abstract Euler–Poisson–Darboux Equation

In a Banach space E, we consider the abstract Euler–Poisson–Darboux equation u″(t) + kt^?1u′(t) = Au(t) on the half-line. (Here k ∈ ? is a parameter, and A is a closed linear operator with dense domain on E.) We obtain a necessary and sufficient condition for the solvability of the Cauchy problem u(0) = 0, lim _t→0+t ^k u′(t) = u₁, k < 0, for this equation. The condition is stated in terms of an estimate for the norms of the fractional power of the resolvent of A and its derivatives. We introduce the operator Bessel function with negative index and study its properties.     

Convergence of a family of solutions to a Fujita-type equation in domains with cavities

The Dirichlet problem for a Fujita-type equation, i.e., a second-order quasilinear uniformly elliptic equation is considered in domains Ω_ε with spherical or cylindrical cavities of characteristic size ε. The form of the function in the condition on the cavities’ boundaries depends on ε. For ε tending to zero and the number of cavities increasing simultaneously, sufficient conditions are established for the convergence of the family of solutions {u _ε(x)} of this problem to the solution u(х) of a similar problem in the domain Ω with no cavities with the same boundary conditions imposed on the common part of the boundaries ?Ω and ?Ω_ε. Convergence rate estimates are given.     

Asymptotic expansion of the solution of the initial value problem for a singularly perturbed ordinary differential equation

We consider the Cauchy problem for the nonlinear differential equation

$$\varepsilon \frac{{du}}{{dx}} = f(x,u),u(0,\varepsilon ) = R_0 ,$$

where ? > 0 is a small parameter, f(x, u) ∈ C ^∞ ([0, d] × ?), R ₀ > 0, and the following conditions are satisfied: f(x, u) = x ? u ^p + O(x ² + |xu| + |u|^p+1) as x, u → 0, where p ∈ ? \ {1} f(x, 0) > 0 for x > 0; f _u ²(x, u) < 0 for (x, u) ∈ [0, d] × (0, + ∞); Σ ₀ ^+∞ f _u ²(x, u) du = ?∞. We construct three asymptotic expansions (external, internal, and intermediate) and prove that the matched asymptotic expansion approximates the solution uniformly on the entire interval [0, d].

     

Existence and concentration behavior of sign-changing solutions for quasilinear Schrödinger equations

We consider the quasilinear Schrödinger equations of the form ?ε²Δu + V(x)u ? ε²Δ(u²)u = g(u), x∈ R^N, where ε > 0 is a small parameter, the nonlinearity g(u) ∈ C¹(R) is an odd function with subcritical growth and V(x) is a positive Hölder continuous function which is bounded from below, away from zero, and inf_ΛV(x) < inf?_ΛV(x) for some open bounded subset Λ of R^N. We prove that there is an ε₀ > 0 such that for all ε ∈ (0, ε₀], the above mentioned problem possesses a sign-changing solution uε which exhibits concentration profile around the local minimum point of V(x) as ε → 0⁺.     

Global Well-posedness of the Stochastic Generalized Kuramoto-Sivashinsky Equation with Multiplicative Noise

Global well-posedness of the initial-boundary value problem for the stochastic generalized Kuramoto- Sivashinsky equation in a bounded domain D with a multiplicative noise is studied. It is shown that under suitable sufficient conditions, for any initial data u₀ ∈ L₂(D × Ω), this problem has a unique global solution u in the space L₂(Ω, C([0, T], L₂(D))) for any T >0, and the solution map u₀ ? u is Lipschitz continuous.     

Error estimates for a projection-difference method for a linear differential-operator equation

We study a projection-difference method for approximately solving the Cauchy problem u′(t) + A(t)u(t) + K(t)u(t) = h(t), u(0) = 0 for a linear differential-operator equation in a Hilbert space, where A(t) is a self-adjoint operator and K(t) is an operator subordinate to A(t). Time discretization is based on a three-level difference scheme, and space discretization is carried out by the Galerkin method. Under certain smoothness conditions on the function h(t), we obtain estimates for the convergence rate of the approximate solutions to the exact solution.     

Blow-up of critical norms for the 3-D Navier-Stokes equations

Let u =(uh, u3) be a smooth solution of the 3-D Navier-Stokes equations in R3× [0, T). It was proved that if u3 ∈ L∞(0, T;˙B-1+3/p p,q(R3)) for 3 p, q ∞ and uh∈ L∞(0, T; BMO-1(R3)) with uh(T) ∈ VMO-1(R3), then u can be extended beyond T. This result generalizes the recent result proved by Gallagher et al.(2016), which requires u ∈ L∞(0, T;˙B-1+3/pp,q(R3)). Our proof is based on a new interior regularity criterion in terms of one velocity component, which is independent of interest.     

Approximation of Gaussian Random Fields: General Results and Optimal Wavelet Representation of the Lévy Fractional Motion

We investigate the approximation rate for certain centered Gaussian fields by a general approach. Upper estimates are proved in the context of so–called Hölder operators and lower estimates follow from the eigenvalue behavior of some related self–adjoint integral operator in a suitable L ₂(μ)–space. In particular, we determine the approximation rate for the Lévy fractional Brownian motion X _H with Hurst parameter H∈(0,1), indexed by a self–similar set T?? ^N of Hausdorff dimension D. This rate turns out to be of order n ^?H/D (log?n)^1/2. In the case T=[0,1] ^N we present a concrete wavelet representation of X _H leading to an approximation of X _H with the optimal rate n ^?H/N (log?n)^1/2.     

On Lebesgue Measure of Integral Self-Affine Sets

Let A be an expanding integer n×n matrix and D be a finite subset of ? ⁿ . The self-affine set T=T(A,D) is the unique compact set satisfying the equality \(A(T)=\bigcup_{d\in D}(T+d)\). We present an effective algorithm to compute the Lebesgue measure of the self-affine set T, the measure of the intersection T∩(T+u) for u∈? ⁿ , and the measure of the intersection of self-affine sets T(A,D ₁)∩T(A,D ₂) for different sets D ₁, D ₂?? ⁿ .     

Inverse problem with nonlocal observation of finding the coefficient multiplying <Emphasis Type="Italic">u</Emphasis> <Subscript> <Emphasis Type="Italic">t</Emphasis> </Subscript> in the parabolic equation

We study the inverse problem of the reconstruction of the coefficient ?(x, t) = ?⁰(x, t) + r(x) multiplying u_t in a nonstationary parabolic equation. Here ?⁰(x, t) ≥ ?⁰ > 0 is a given function, and r(x) ≥ 0 is an unknown function of the class L_∞(Ω). In addition to the initial and boundary conditions (the data of the direct problem), we pose the problem of nonlocal observation in the form ∫₀^Tu(x, t) dμ(t) = χ(x) with a known measure dμ(t) and a function χ(x). We separately consider the case dμ(t) = ω(t)dt of integral observation with a smooth function ω(t). We obtain sufficient conditions for the existence and uniqueness of the solution of the inverse problem, which have the form of ready-to-verify inequalities. We suggest an iterative procedure for finding the solution and prove its convergence. Examples of particular inverse problems for which the assumptions of our theorems hold are presented.     

On a class of differential operators with constant coefficients

A linear differential operator P(D) = P(D ₁, …, D _n ) with constant coefficients is called almost hypoelliptic if all the derivatives D ^α P of the characteristic polynomial P(ξ ₁, …, ξ _n ) can be estimated by P. The paper proves that if P is an almost hypoelliptic operator and f is an infinitely differentiable function, square-summable with a definite exponential weight, then any square summable with the same weight solution u of the equation P(D)u = f is again an infinitely differentiable function and P(ξ) → ∞ as ξ → ∞.     

On a singular minimizing problem

We investigate the non-homogeneous modular Dirichlet problem Δ _p (·)u(x) = f (x) (where Δ _p (·)u(x) = div(|?u|^p(x-2)?u(x)) from the functional analytic point of view and we prove the stability of the solutions \({\left( {{u_{{p_i}}}} \right)_i}\) of the equation \({\Delta _{{p_i}\left( \cdot \right)}}{u_{{p_i}\left( \cdot \right)}} = f\) as p _i (·) → q(·) via Gamma-convergence of sequence of appropriate functionals.     

Mixed problem for the wave equation with integrable potential in the case of two-point boundary conditions of distinct orders

We study a mixed problem for the wave equation with integrable potential and with two-point boundary conditions of distinct orders for the case in which the corresponding spectral problem may have multiple spectrum. Based on the resolvent approach in the Fourier method and the Krylov convergence acceleration trick for Fourier series, we obtain a classical solution u(x, t) of this problem under minimal constraints on the initial condition u(x, 0) = ?(x). We use the Carleson–Hunt theorem to prove the convergence almost everywhere of the formal solution series in the limit case of ?(x) ∈ L _p[0, 1], p > 1, and show that the formal solution is a generalized solution of the problem.     

A mapping method in inverse Sturm-Liouville problems with singular potentials

In the space L ₂[0, π], the Sturm-Liouville operator L _D(y) = ?y″ + q(x)y with the Dirichlet boundary conditions y(0) = y(π) = 0 is analyzed. The potential q is assumed to be singular; namely, q = σ′, where σ ∈ L ₂[0, π], i.e., q ∈ W ₂ ^?1 [0, π]. The inverse problem of reconstructing the function σ from the spectrum of the operator L _D is solved in the subspace of odd real functions σ(π/2 ? x) = ?σ(π/2 + x). The existence and uniqueness of a solution to this inverse problem is proved. A method is proposed that allows one to solve this problem numerically.