Problem of determining the permittivity in the stationary system of Maxwell equations

The stationary system of Maxwell equations for a unmagnetized nonconducting medium is considered. For this system, the problem of determining the permittivity ε from given electric or magnetic fields is studied. It is assumed that the electromagnetic field is induced by a plane wave coming from infinity in the direction ν. It is also assumed that the permittivity is different from a given positive constant ε₀ only inside a compact domain Ω ? R ³ with a smooth boundary S. To find ε inside Ω, the solution of the corresponding direct problem for the system of electrodynamic equations on the shadow portion of the boundary of Ω is specified for all frequencies starting at some fixed ω₀ and for all ν. The high-frequency asymptotics of the solution to the direct problem is studied. It is shown that the information specified makes it possible to reduce the original problem to the well-known inverse kinematic problem of determining the refraction coefficient inside Ω from the traveling times of an electromagnetic wave. This leads to a uniqueness theorem for the solution of the problem under consideration and opens up the opportunity of its constructive solution.     

A two-dimensional inverse problem for an integro-differential equation of electrodynamics

An integro-differential equation corresponding to a two-dimensional problem of electrodynamics with dispersion is considered. It is assumed that the electrodynamic properties of a nonconducting medium with a constant magnetic permeability and the external current are independent of the x ₃ coordinate. In this case, the third component of the electric field vector satisfies a second-order scalar integro-differential equation with a variable permittivity of the medium. For this equation, we study the problem of finding the spatial part of the kernel entering the integral term. This corresponds to finding the part of the permittivity that depends on the electromagnetic frequency. It is assumed that the permittivity support is contained in some compact domain Ω ? ?². To find this coefficient inside Ω, we use information on the solution of the corresponding direct problem on the boundary of Ω on a finite time interval. An estimate for the conditional stability of the solution of the inverse problem is established under the assumption that the time interval is sufficiently large.     

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.     

Difference scheme for an initial–boundary value problem for a singularly perturbed transport equation

An initial–boundary value problem for a singularly perturbed transport equation with a perturbation parameter ε multiplying the spatial derivative is considered on the set ? = G ∪ S, where ? = D? × [0 ≤ t ≤ T], D? = {0 ≤ x ≤ d}, S = S ^l ∪ S, and S ^l and S₀ are the lateral and lower boundaries. The parameter ε takes arbitrary values from the half-open interval (0,1]. In contrast to the well-known problem for the regular transport equation, for small values of ε, this problem involves a boundary layer of width O(ε) appearing in the neighborhood of S ^l ; in the layer, the solution of the problem varies by a finite value. For this singularly perturbed problem, the solution of a standard difference scheme on a uniform grid does not converge ε-uniformly in the maximum norm. Convergence occurs only if h=dN^-1 ? ε and N₀^-1 ? 1, where N and N₀ are the numbers of grid intervals in x and t, respectively, and h is the mesh size in x. The solution of the considered problem is decomposed into the sum of regular and singular components. With the behavior of the singular component taken into account, a special difference scheme is constructed on a Shishkin mesh, i.e., on a mesh that is piecewise uniform in x and uniform in t. On such a grid, a monotone difference scheme for the initial–boundary value problem for the singularly perturbed transport equation converges ε-uniformly in the maximum norm at an ?(N^?1 + N₀^?1) rate.     

Parabolic equation with a singular potential

We study the existence of a nonnegative generalized solution of an initial-boundary value problem for the heat equation with a singular potential in an arbitrary bounded domain Ω ? R ⁿ , n ≥ 3, containing the unit ball. We show that if the condition ∝ _Ω V ^n/2+s |x| ^s dx ≤ c _n is satisfied for some s ≥ 0 and c _n = c _n (n, s, Ω) > 0, then the problem in question has a nonnegative solution.     

Problem with analogs of the Frankl’ condition on a characteristic and the degeneration segment for an equation of mixed type with a singular coefficient

For the equation (sign y)|y| ^m u _xx +u _yy ?m(2y)^?1 u _y = 0, where m > 0, considered in some mixed domain, we prove existence and uniqueness theorems for the solution of the boundary value problem with an analog of the Frankl’ condition on a characteristic and on the degeneration segment of the equation.     

Curvature inequalities for operators of the Cowen–Douglas class

Let T be an operator tuple in the Cowen–Douglas class B _n (Ω) for Ω ? C ^m . The kernels Ker(T ? w) ^l , for w ∈ Ω, l = 1, 2, ···, define Hermitian vector bundles E _T ^l over Ω. We prove certain negativity of the curvature of E _T ^l . We also study the relation between certain curvature inequality and the contractive property of T when Ω is a planar domain.     

Computer difference scheme for a singularly perturbed elliptic convection–diffusion equation in the presence of perturbations

A grid approximation of a boundary value problem for a singularly perturbed elliptic convection–diffusion equation with a perturbation parameter ε, ε ∈ (0,1], multiplying the highest order derivatives is considered on a rectangle. The stability of a standard difference scheme based on monotone approximations of the problem on a uniform grid is analyzed, and the behavior of discrete solutions in the presence of perturbations is examined. With an increase in the number of grid nodes, this scheme does not converge -uniformly in the maximum norm, but only conditional convergence takes place. When the solution of the difference scheme converges, which occurs if N ₁ ^-1 N ₂ ^-1 ? ε, where N ₁ and N ₂ are the numbers of grid intervals in x and y, respectively, the scheme is not -uniformly well-conditioned or ε-uniformly stable to data perturbations in the grid problem and to computer perturbations. For the standard difference scheme in the presence of data perturbations in the grid problem and/or computer perturbations, conditions imposed on the “parameters” of the difference scheme and of the computer (namely, on ε, N ₁,N ₂, admissible data perturbations in the grid problem, and admissible computer perturbations) are obtained that ensure the convergence of the perturbed solutions as N ₁,N ₂ → ∞, ε ∈ (0,1]. The difference schemes constructed in the presence of the indicated perturbations that converges as N ₁,N ₂ → ∞ for fixed ε, ε ∈ (0,1, is called a computer difference scheme. Schemes converging ε-uniformly and conditionally converging computer schemes are referred to as reliable schemes. Conditions on the data perturbations in the standard difference scheme and on computer perturbations are also obtained under which the convergence rate of the solution to the computer difference scheme has the same order as the solution of the standard difference scheme in the absence of perturbations. Due to this property of its solutions, the computer difference scheme can be effectively used in practical computations.     

On the problem of determining the structure of a layered medium and the shape of an impulse source

For the equation of wave propagation in the half-space ? ₊ ² + = {(x, y) ∈ ?² | y > 0} we consider the problem of determining the speed of wave propagation that depends only on the variable y and the shape of a point impulse source on the boundary of the half-space. We show that, under some assumptions on the shape of the source and the structure of the medium, both unknown functions of one variable are uniquely determined by the displacements of boundary points of the medium. We estimate stability of a solution to 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.     

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.     

Nonlocal Dezin’s problem for Lavrent’ev–Bitsadze equation

Using the method of spectral analysis, for the mixed type equation u_xx + (sgny)u_yy = 0 in a rectangular domain we establish a criterion of uniqueness of its solution satisfying periodicity conditions by the variable x, a nonlocal condition, and a boundary condition. The solution is constructed as the sum of a series in eigenfunctions for the corresponding one-dimensional spectral problem. At the investigation of convergence of the series, the problem of small denominators occurs. Under certain restrictions on the parameters of the problem and the functions, included in the boundary conditions, we prove uniform convergence of the constructed series and stability of the solution under perturbations of these functions.     

On the properties of maps connected with inverse Sturm-Liouville problems

Let L _D be the Sturm-Liouville operator generated by the differential expression L _y = ?y″ + q(x)y on the finite interval [0, π] and by the Dirichlet boundary conditions. We assume that the potential q belongs to the Sobolev space W ₂ ^? [0, π] with some ? ≥ ?1. It is well known that one can uniquely recover the potential q from the spectrum and the norming constants of the operator L _D. In this paper, we construct special spaces of sequences ? ₂ ^θ in which the regularized spectral data {s _k } _?∞ ^∞ of the operator L _D are placed. We prove the following main theorem: the map F _q = {s _k } from W ₂ ^? to ? ₂ ^θ is weakly nonlinear (i.e., it is a compact perturbation of a linear map). A similar result is obtained for the operator L _DN generated by the same differential expression and the Dirichlet-Neumann boundary conditions. These results serve as a basis for solving the problem of uniform stability of recovering a potential. Note that this problem has not been considered in the literature. The uniform stability results are formulated here, but their proof will be presented elsewhere.     

Estimates for the Torsion Function and Sobolev Constants

Let Ω be an open set in Euclidean space, and let u : Ω → ?^?+? be the expected lifetime of Brownian motion in Ω. It is shown that if u?∈?L ^p (Ω) for some p?∈?[1, ?∞?) then (i) u?∈?L ^q (Ω) for all q?∈?[p,?∞?], and (ii) \({trace}\left(e^{t\Delta_{\Omega}}\right)<\infty\) for all t?>?0, where ??Δ_Ω is the Dirichlet Laplacian acting in L ²(Ω). Pointwise bounds are obtained for u in terms of the first Dirichlet eigenfunction for Ω, assuming that the spectrum of ??Δ_Ω is discrete. It is shown that if Ω is open, bounded and connected in the plane and \(\partial\Omega\) has an interior wedge with opening angle α at vertex v then the first Dirichlet eigenfunction and u are comparable near v if and only if α?≥?π/2. Two sided estimates are obtained for the Sobolev constant

$ C_p(\Omega):= \inf\left\{\Vert \nabla u \Vert_2^2: u \in C_0^{\infty}(\Omega),\ \Vert u\Vert_p = 1\right\}, $

where 0?p?Ω satisfies a strong Hardy inequality, and the distance to the boundary function δ?∈?L ^2p/(2???p)(Ω).

     

Singularly Perturbed Parabolic Problems with Multidimensional Boundary Layers

The first boundary value problem for a multidimensional parabolic differential equation with a small parameter ε multiplying all derivatives is studied. A complete (i.e., of any order with respect to the parameter) regularized asymptotics of the solution is constructed, which contains a multidimensional boundary layer function that is bounded for x = (x¹, x₂) = 0 and tends to zero as ε → +0 for x ≠ 0. In addition, it contains corner boundary layer functions described by the product of a boundary layer function of the exponential type by a multidimensional parabolic boundary layer function.     

Calculating the eigenvalues of the Sturm-Liouville problem with a fractal indefinite weight

An efficient method is proposed for calculating the eigenvalues of the boundary value problem ?y″ ? λρy = 0, y(0) = y(1) = 0, where ρ ? \(W_2^{^\circ - 1} \) [0, 1] is the generalized derivative of a self-similar function P ? L ₂[0, 1].     

A spectral method for elliptic equations: the Dirichlet problem

Let Ω be an open, simply connected, and bounded region in ? ^d , d?≥?2, and assume its boundary \(\partial\Omega\) is smooth. Consider solving an elliptic partial differential equation Lu?=?f over Ω with zero Dirichlet boundary values. The problem is converted to an equivalent elliptic problem over the unit ball B; and then a spectral Galerkin method is used to create a convergent sequence of multivariate polynomials u _n of degree ≤?n that is convergent to u. The transformation from Ω to B requires a special analytical calculation for its implementation. With sufficiently smooth problem parameters, the method is shown to be rapidly convergent. For \(u\in C^{\infty}( \overline{\Omega})\) and assuming \(\partial\Omega\) is a C ^?∞? boundary, the convergence of \(\left\Vert u-u_{n}\right\Vert _{H^{1}}\) to zero is faster than any power of 1/n. Numerical examples in ?² and ?³ show experimentally an exponential rate of convergence.     

Quasi-Weyl asymptotics of the spectrum of the vector Dirichlet problem

In a space of vector functions, we consider the spectral problem

Open image in new window

, where

Open image in new window

, and the a _αjk and p _jk are constants, x ∈ Ω, and Ω is a bounded open set. The boundary conditions correspond to the Dirichlet problem. Let N _±(μ) be the positive and negative spectral counting functions. We establish the asymptotics N _±(μ) ～ (mes_mΩ)φ_±(μ) as μ → +0. The functions φ_±(μ) are independent of Ω. In the nonelliptic case, these asymptotics are in general different from the classical (Weyl) asymptotics.

     

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.