Analysis and convergence of a MAC-like scheme for the generalized Stokes problem

We introduce a MAC-like scheme (a covolume method on rectangular grids) for approximating the generalized Stokes problem on an axiparallel domain. Two staggered grids are used in the derivation of the discretization. The velocity is approximated by conforming bilinears over rectangular elements, and the pressure by piecewise constants over macro-rectangular elements. The error in the velocity in the H¹ norm and the pressure in the L² norm are shown to be of first order, provided that the exact velocity is in H² and the exact pressure in H¹, and that the partition family of the domain is regular. © 1997 John Wiley & Sons, Inc.     

Envelope of holomorphy of a tube domain over a complex Lie group

According to S. Bochner [6, 7]: IfD =B +iℝ ⁿ is a tube domain in ℂ ⁿ , where B is a domain in ℝ ⁿ , and if [(B)\tilde]\tilde B is the convex envelope of B, then any holomorphic function on D extends to the tube domain [(D)\tilde] = [(B)\tilde] + i\mathbbRⁿ \tilde D = \tilde B + i\mathbb{R}^n , which is a univalent envelope of holomorphy of D. We give a generalization of this result to (nonunivalent) tube domains over a complex Lie group which admit a closed sub-group as a real form. Application: If (V, φ) is a tube domain over ℂ ⁿ and if B is the convex envelope of ϕ(V)∩ℝ ⁿ in ℝ ⁿ , then [(V)\tilde] = B + i\mathbbRⁿ \tilde V = B + i\mathbb{R}^n is an envelope of holomorphy of (V, φ).     

On Blow Up Solutions of a Quasilinear Elliptic Equation

Given a bounded regular domain Ω in ℝ^N, we study existence and asymptotic behaviour of the solutions of the equation Δu + |Du|^q = f(u) in Ω, which diverge on ∂Ω. We extend and complete some results contained in [4].     

Determination of a Domain in Complex Space by its Automorphism Group

We consider results, both in one complex variable and several, which show that the algebraic or geometric structure of the automorphism group of a domain z can determine that domain. The domains considered include Ω = B, the unit ball in C ⁿ , and Ω = C ⁿ . Various illustrative examples are provided.     

The ¯∂-equation on a positive current

We study the induced ˉ∂-equation on a positive current in a complex manifold. We extend the L ²-estimates for the ˉ∂-equation to harmonic currents of bidimension (1,1), satisfying a Frobenius type condition. We also show that the L ²-estimates are satisfied for the ˉ∂-equation on a positive closed current of bidegree (1,1) on a pseudoconvex domain in ℂ ⁿ . Oblatum 7-XII-2000 & 28-VI-2001?Published online: 24 September 2001     

Existence of a weak solution to the Navier–Stokes equation in a general time‐varying domain by the Rothe method

We assume that Ω^t is a domain in ?³, arbitrarily (but continuously) varying for 0?t?T. We impose no conditions on smoothness or shape of Ω^t. We prove the global in time existence of a weak solution of the Navier–Stokes equation with Dirichlet's homogeneous or inhomogeneous boundary condition in Q_{[0, T)} := {( x , t);0?t?T, x ∈Ω^t}. The solution satisfies the energy‐type inequality and is weakly continuous in dependence of time in a certain sense. As particular examples, we consider flows around rotating bodies and around a body striking a rigid wall. Copyright © 2008 John Wiley & Sons, Ltd.     

Spectral convergence for vibrating systems containing a part with negligible mass

We consider a set of Neumann (mixed, respectively) eigenvalue problems for the Laplace operator. Each problem is posed in a bounded domain Ω_R of ?ⁿ, with n=2,3, which contains a fixed bounded domain B where the density takes the value 1 and 0 outside. Ω_R has a diameter depending on a parameter R, with R?1, diam(Ω_R) →∞ as R→∞ and the union of these sets is the whole space ?ⁿ (the half space {x∈?ⁿ/x_n<0}, respectively). Depending on the dimension of the space n, and on the boundary conditions, we describe the asymptotic behaviour of the eigenelements as R→∞. We apply these asymptotics in order to derive important spectral properties for vibrating systems with concentrated masses. Copyright © 2005 John Wiley & Sons, Ltd.     

Integral representation of a solution of the Neumann problem for the Stokes system

The Neumann problem for the Stokes system is studied on a domain in R ³ with Ljapunov bounded boundary. We construct a solution of this problem in the form of appropriate potentials and determine unknown source densities via integral equation systems on the boundary of the domain. The solution is given explicitly in the form of a series.     

Partial expansion of a Lipschitz domain and some applications

We show that a Lipschitz domain can be expanded solely near a part of its boundary, assuming that the part is enclosed by a piecewise C ¹ curve. The expanded domain as well as the extended part are both Lipschitz. We apply this result to prove a regular decomposition of standard vector Sobolev spaces with vanishing traces only on part of the boundary. Another application in the construction of low-regularity projectors into finite element spaces with partial boundary conditions is also indicated.     

Mixed problems in a Lipschitz domain for strongly elliptic second-order systems

We consider mixed problems for strongly elliptic second-order systems in a bounded domain with Lipschitz boundary in the space ℝ ⁿ . For such problems, equivalent equations on the boundary in the simplest L ₂-spaces H ^s of Sobolev type are derived, which permits one to represent the solutions via surface potentials. We prove a result on the regularity of solutions in the slightly more general spaces H _p ^s of Bessel potentials and Besov spaces B _p ^s . Problems with spectral parameter in the system or in the condition on a part of the boundary are considered, and the spectral properties of the corresponding operators, including the eigenvalue asymptotics, are discussed.     

Boundary Controllability of a Stationary Stokes System with Linear Convection Observed on an Interior Curve

We study the approximate controllability of a stationary Stokes system with linearized convection in a bounded domain of ^N. The control acts on a part of the boundary and the velocity field is observed on an interior curve (N=2) or surface (N=3). We establish the L ²-approximate controllability under certain compatibility conditions and suitable geometrical assumptions on the curve or surface. We build controls of minimal L ²-norm by duality. To compute the control, we propose a numerical method, based on duality techniques, consisting in the minimization of a nonquadratic functional coupled to a Stokes system. It is tested in several situations leading to interesting numerical results.     

Computation of the Characteristic Polynomial of an Endomorphism of a Free Module

We present two methods of computing the characteristic polynomial of an endomorphism of a free module over a commutative domain. The methods require O(n ³) and O(n ^log7) ring operations, respectively. Bibliography: 6 titles.     

Multiple positive solutions of an elliptic equation with a convex-concave nonlinearity containing a sign-changing term

We study the existence of multiple positive solutions to a nonlinear Dirichlet problem for the p-Laplacian (in a bounded domain in ℝ ^N ) with a concave nonlinearity and with a nonlinear perturbation involving a function of the spatial variable whose sign can change the character of concavity. Under two different sets of conditions imposed on the perturbation, we prove the existence of two and three positive solutions, respectively.     

Compactness along the branch of semistable and unstable solutions for an elliptic problem with a singular nonlinearity

We study the branch of semistable and unstable solutions (i.e., those whose Morse index is at most 1) of the Dirichlet boundary value problem ? Δu = λf(x)/(1 ? u)² on a bounded domain Ω ? ?^N, which models—among other things—a simple electrostatic microelectromechanical system (MEMS) device. We extend the results of 11 relating to the minimal branch, by obtaining compactness along unstable branches for 1 ≤ N ≤ 7 on any domain Ω and for a large class of “permittivity profiles” f. We also show the remarkable fact that powerlike profiles f(x) ? |x|^α can push back the critical dimension N = 7 of this problem by establishing compactness for the semistable branch on the unit ball, also for N ≥ 8 and as long as As a byproduct, we are able to follow the second branch of the bifurcation diagram and prove the existence of a second solution for λ in a natural range. In all these results, the conditions on the space dimension and on the power of the profile are essentially sharp. © 2007 Wiley Periodicals, Inc.     

Asymptotic analysis of a spectral problem in a periodic thick junction of type 3:2:1

Convergence theorems and asymptotic estimates (as ϵ→0) are proved for eigenvalues and eigenfunctions of a mixed boundary value problem for the Laplace operator in a junction Ω_ϵ of a domain Ω₀ and a large number N² of ϵ‐periodically situated thin cylinders with thickness of order ϵ=O(N⁻¹). We construct an extension operator that is only asymptotically bounded in ϵ on the eigenfunctions in the Sobolev space H¹. An approach based on the asymptotic theory of elliptic problem in singularly perturbed domains is used. Copyright © 2000 John Wiley & Sons, Ltd.     

On the negative discrete spectrum of a preiodic elliptic operator in a waveguide-type domain, perturbed by a decaying potential

Let Ω ⊂R ^d be an unbounded domain, periodic along a chosen direction (a waveguide-type domain),P be a self-adjoint elliptic second order operator inL ₂(Ω) periodic along the same direction, andV be a real-valued decaying potential. We suppose that the bottom of the spectrum ofP is λ=0 and study the asymptotic behaviour of the number of negative eigenvalues of the opeatorP−aV as the parameter α tends to +∞. We show that typically the Weyl asymptotic law for this quantity is violated and find a substitute for this law.     

Periodic solutions of the Navier–Stokes equations in a perturbed half‐space and an aperture domain

We shall construct a periodic strong solution of the Navier–Stokes equations for some periodic external force in a perturbed half‐space and an aperture domain of the dimension n?3. Our proof is based on L^p–L^q estimates of the Stokes semigroup. We apply L^p–L^q estimates to the integral equation which is transformed from the original equation. As a result, we obtain the existence and uniqueness of periodic strong solutions. Copyright © 2005 John Wiley & Sons, Ltd.     

A second-order accurate numerical method for a fractional wave equation

We study a generalized Crank–Nicolson scheme for the time discretization of a fractional wave equation, in combination with a space discretization by linear finite elements. The scheme uses a non-uniform grid in time to compensate for the singular behaviour of the exact solution at t = 0. With appropriate assumptions on the data and assuming that the spatial domain is convex or smooth, we show that the error is of order k ² + h ², where k and h are the parameters for the time and space meshes, respectively.     

On a nonlocal problem for a parabolic equation

We study a nonlocal boundary-value problem for a parabolic equation in a two-dimensional domain, establish ana priori estimate in the energy norm, prove the existence and uniqueness of a generalized solution from the classW ₂ ^1,0 (Q _T ), and construct a difference scheme for the second-order approximation.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 6, pp. 790–800, June, 1995.