On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.     

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 ξ → ∞.     

Construction of Carleman formulas by using mixed problems with parameter-dependent boundary conditions

Let D be an open connected subset of the complex plane C with sufficiently smooth boundary ?D. Perturbing the Cauchy problem for the Cauchy–Riemann system ??u = f in D with boundary data on a closed subset S ? ?D, we obtain a family of mixed problems of the Zaremba-type for the Laplace equation depending on a small parameter ε ∈ (0, 1] in the boundary condition. Despite the fact that the mixed problems include noncoercive boundary conditions on ?D\S, each of them has a unique solution in some appropriate Hilbert space H ⁺(D) densely embedded in the Lebesgue space L ₂(?D) and the Sobolev–Slobodetski? space H ^1/2?δ(D) for every δ > 0. The corresponding family of the solutions {u _ε} converges to a solution to the Cauchy problem in H ⁺(D) (if the latter exists). Moreover, the existence of a solution to the Cauchy problem in H ⁺(D) is equivalent to boundedness of the family {u _ε} in this space. Thus, we propose solvability conditions for the Cauchy problem and an effective method of constructing a solution in the form of Carleman-type formulas.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

Categorical resolutions of a class of derived categories

We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D~b(A)and the subcategory K~b(P) of perfect complexes in D~b(A), by giving two classes of abelian categories A with enough projective objects such that D_(hf)~b(A) = K~b(P), and finding an example such that D_(hf)~b(A)≠K~b(P). We realize the bounded derived category D~b(A) as a Verdier quotient of the relative derived category D_C~b(A), where C is an arbitrary resolving contravariantly finite subcategory of A. Using this relative derived categories, we get categorical resolutions of a class of bounded derived categories of module categories of infinite global dimension.We prove that if an Artin algebra A of infinite global dimension has a module T with inj.dimT ∞ such that ~⊥T is finite, then D~b(modA) admits a categorical resolution; and that for a CM(Cohen-Macaulay)-finite Gorenstein algebra, such a categorical resolution is weakly crepant.     

Calculation of Geometric Probabilities Using Covariogram of Convex Bodies

In the paper, a formula to calculate the probability that a random segment L(ω, u) in R ⁿ with a fixed direction u and length l lies entirely in the bounded convex body D ? R ⁿ (n ≥ 2) is obtained in terms of covariogram of the body D. For any dimension n ≥ 2, a relationship between the probability P(L(ω, u) ? D) and the orientation-dependent chord length distribution is also obtained. Using this formula, we obtain the explicit form of the probability P(L(ω, u) ? D) in the cases where D is an n-dimensional ball (n ≥ 2), or a regular triangle on the plane.     

Augmentation quotients for burnside rings of generalized dihedral groups

Let H be a finite abelian group of odd order, D be its generalized dihedral group, i.e., the semidirect product of C₂ acting on H by inverting elements, where C₂ is the cyclic group of order two. Let Ω (D) be the Burnside ring of D, Δ(D) be the augmentation ideal of Ω (D). Denote by Δⁿ(D) and Q_n(D) the nth power of Δ(D) and the nth consecutive quotient group Δⁿ(D)/Δⁿ⁺¹(D), respectively. This paper provides an explicit Z-basis for Δⁿ(D) and determines the isomorphism class of Q_n(D) for each positive integer n.     

On stabilizability of evolution systems of partial differential equations on ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×[0,+∞) by time-delayed feedback controlsby time-delayed feedback controls

In this work we obtain sufficient conditions for stabilizability by time-delayed feedback controls for the system

$\frac{{\partial w\left( {x,t} \right)}}{{\partial t}} = A(D_x )w(x,t) - A(D_x )u(x,t), x \in \mathbb{R}^n , t > h, $

where D _x =(-i?/?x ₁,...-i?/?x _n ), A(σ) and B(σ) are polynomial matrices (m×m), det B(σ)≡0 on ? ⁿ , w is an unknown function, u(·,t)=P(D _x )w(·,t?h) is a control, h>0. Here P is an infinite differentiable matrix (m×m), and the norm of each of its derivatives does not exceed Γ(1+|σ|²)^γ for some Γ, γ∈? depending on the order of this derivative. Necessary conditions for stabilizability of this system are also obtained. In particular, we study the stabilizability problem for the systems corresponding to the telegraph equation, the wave equation, the heat equation, the Schrödinger equation and another model equation. To obtain these results we use the Fourier transform method, the Lojasiewicz inequality and the Tarski—Seidenberg theorem and its corollaries. To choose an appropriate P and stabilize this system, we also prove some estimates of the real parts of the zeros of the quasipolynomial det {Iλ-A(σ)+B(σ)P(σ)e ^-hλ.

     

Smoothness of solutions of almost hypoelliptic equations

The paper studies a class of almost hypoelliptic equations P(D)U = ? in a strip. It is proved that for \(\mathcal{H}\) great enough and for δ > 0 small enough all solutions of this equation, which are square summable with the weight e ^?δ|x| and for which \(D_2^{\alpha _2 } U\), where α ₂ = 0, …, \(ord_{\alpha _2 } P\), are infinitely differentiable in x ₁ functions, provided D ₁ ^j ? ∈ L ₂(\(\Omega _\mathcal{H} \)) for any j.     

Lower bounds for polynomials of many variables

A polynomial P(ξ) = P(ξ₁,..., ξ _n ) is said to be almost hypoelliptic if all its derivatives D ^ν P(ξ) can be estimated from above by P(ξ) (see [16]). By a theorem of Seidenberg-Tarski it follows that for each polynomial P(ξ) satisfying the condition P(ξ) > 0 for all ξ ∈ R ⁿ , there exist numbers σ > 0 and T ∈ R¹ such that P(ξ) ≥ σ(1 + |ξ|) ^T for all ξ ∈ R ⁿ . The greatest of numbers T satisfying this condition, denoted by ST(P), is called Seidenberg-Tarski number of polynomial P. It is known that if, in addition, P ∈ I _n , that is, |P(ξ)| → ∞ as |ξ| → ∞, then T = T(P) > 0. In this paper, for a class of almost hypoelliptic polynomials of n (≥ 2) variables we find a sufficient condition for ST(P) ≥ 1. Moreover, in the case n = 2, we prove that ST(P) ≥ 1 for any almost hypoelliptic polynomial P ∈ I₂.     

On a Functional Equation Related to Jordan Triple Derivations in Prime Rings

A classical result of Herstein asserts that any Jordan derivation on a prime ring with char(R) ≠ 2 is a derivation. It is our aim in this paper to prove the following result, which is in the spirit of Herstein’s theorem. Let R be a prime ring with char(R) = 0 or char(R) > 4, and let D: R → R be an additive mapping satisfying the relation D(x⁴) = D(x)x³ + xD(x²)x + x³D(x) for all x ∈ R. In this case, D is a derivation.     

The existence of eigenvalues for operators acting in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We present conditions that allow us to prove the existence of eigenvalues and characteristic values for operator F(D) ? C(λ): L ²(R ^m ) → L ²(R ^m ), where F(D) is a pseudo-differential operator with a symbol F(iξ) and C(λ): L ²(R ^m ) → L ²(R ^m ) is a linear continuous operator.     

Compactons and Riemann Waves of an Extended Modified Korteweg–de Vries Equation with Nonlinear Dispersion

The K(f ^m , g ⁿ ) equation is studied, which generalizes the modified Korteweg–de Vries equation K(u³, u¹) and the Rosenau–Hyman equation K(u ^m , u ⁿ ) to other dependences of nonlinearity and dispersion on the solution. The considered functions f(u) and g(u) can be linear or can have the form of a smoothed step. It is found numerically that, depending on the form of nonlinearity and dispersion, the given equation has compacton and kovaton solutions, Riemann-wave solutions, and oscillating wave packets of two types. It is shown that the interaction between solutions of all found types occurs with the preservation of their parameters.     

On power series representing solutions of the one-dimensional time-independent Schrödinger equation

For the equation χ″(x) = u(x)χ(x) with infinitely smooth u(x), the general solution χ(x) is found in the form of a power series. The coefficients of the series are expressed via all derivatives u ^(m)(y) of the function u(x) at a fixed point y. Examples of solutions for particular functions u(x) are considered.     

Existence of positive solutions for a general nonlinear eigenvalue problem

Let Ω R n be a bounded domain, H = L 2 (Ω), L : D(L) H → H be an unbounded linear operator, f ∈ C(■× R, R) and λ∈ R. The paper is concerned with the existence of positive solutions for the following nonlinear eigenvalue problem Lu = λf (x, u), u ∈ D(L), which is the general form of nonlinear eigenvalue problems for differential equations. We obtain the global structure of positive solutions, then we apply the results to some nonlinear eigenvalue problems for a second-order ordinary differential equation and a fourth-order beam equation, respectively. The discussion is based on the fixed point index theory in cones.     

The Steiner Mapping for Three Points in Euclidean Plane

For the Euclidean plane ? the Steiner mapping associating any three points a, b, c with their median s, and the corresponding operator P _D of metric projection of the space l ₁ ³ (?) onto its diagonal subspace D = {(x,x,x): x ∈ ?}, P _D (a,b,c) = (s,s,s): s are considered. The exact value of the linearity coefficient of P _D is calculated.     

On a functional equation related to derivations in prime rings

In this paper we prove the following result. Let m ≥ 1, n ≥ 1 be fixed integers and let R be a prime ring with m + n + 1 ≤ char(R) or char(R) = 0. Suppose there exists an additive nonzero mapping D : R → R satisfying the relation 2D(x ^n+m+1) = (m + n + 1)(x ^m D(x)x ⁿ + x ⁿ D(x)x ^m ) for all \({x\in R}\). In this case R is commutative and D is a derivation.     

Valuation ideals and primary <Emphasis Type="Italic">w</Emphasis>-ideals

Let D be an integral domain, V (D) (resp., t-V (D)) be the set of all valuation (resp., t-valuation) ideals of D, and w-P(D) be the set of primary w-ideals of D. Let D[X] be the polynomial ring over D, c(f) be the ideal of D generated by the coefficients of f ∈ D[X], and N _v = {f ∈ D[X] | c(f) _v = D}. In this paper, we study integral domains D in which w-P(D) ? t-V (D), t-V (D) ? w-P(D), or t-V (D) = w-P(D). We also study the relationship between t-V (D) and \(V\left( {D{{\left[ X \right]}_{{N_v}}}} \right)\), and characterize when t-V (A + XB[X]) ? w-P(A + XB[X]) holds for a proper extension A ? B of integral domains.     

On Certain Identity Related to Herstein Theorem on Jordan Derivations

Let R be a 6-torsion-free prime ring and let \({D : R \rightarrow R}\) be an additive mapping satisfying the relation 2D(x ⁴) = D(x ³)x + x ³ D(x) + D(x)x ³ + xD(x ³) for all \({x \in R}\) . The purpose of this paper is to show that D is a derivation. This result is related to a classical result of Herstein, which states that any Jordan derivation on a 2-torsion-free prime ring is a derivation.     

Inner derivations of simple Lie pencils of rank 1

We prove that simple Lie pencils of rank 1 over an algebraically closed field P of characteristic 0 with operators of left multiplication being derivations are of the form of a sandwich algebra M ₃(U,D′), where U is the subspace of all skew-symmetric matrices in M ₃(P) and D′ is any subspace containing 〈E〉 in the space of all diagonal matrices D in M ₃(P).