A note on the kernels of higher derivations

Let k ? k′ be a field extension. We give relations between the kernels of higher derivations on k[X] and k′[X], where k[X]:= k[x ₁,…, x _n ] denotes the polynomial ring in n variables over the field k. More precisely, let D = {D _n } _n=0 ^∞ a higher k-derivation on k[X] and D′ = {D′ _n } _n=0 ^∞ a higher k′-derivation on k′[X] such that D′ _m (x _i ) = D _m (x _i ) for all m ? 0 and i = 1, 2,…, n. Then (1) k[X] ^D = k if and only if k′[X] ^D′ = k′; (2) k[X] ^D is a finitely generated k-algebra if and only if k′[X] ^D′ is a finitely generated k′-algebra. Furthermore, we also show that the kernel k[X] ^D of a higher derivation D of k[X] can be generated by a set of closed polynomials.     

Convexity in oriented graphs

For vertices u and v in an oriented graph D, the closed interval I[u,v] consists of u and v together with all vertices lying in a u−v geodesic or v−u geodesic in D. For S⊆V(D), I[S] is the union of all closed intervals I[u,v] with u,v∈S. A set S is convex if I[S]=S. The convexity number con(D) is the maximum cardinality of a proper convex set of V(D). The nontrivial connected oriented graphs of order n with convexity number n−1 are characterized. It is shown that there is no connected oriented graph of order at least 4 with convexity number 2 and that every pair k, n of integers with 1⩽k⩽n−1 and k≠2 is realizable as the convexity number and order, respectively, of some connected oriented graph. For a nontrivial connected graph G, the lower orientable convexity number con⁻(G) is the minimum convexity number among all orientations of G and the upper orientable convexity number con⁺(G) is the maximum such convexity number. It is shown that con⁺(G)=n−1 for every graph G of order n⩾2. The lower orientable convexity numbers of some well-known graphs are determined, with special attention given to outerplanar graphs.     

Multiple solutions to Hessian equations

This paper concerns with the multiple solutions of Hessian equations ?? _k (??(D ² u))?=?f (x, u) in a (k ? 1)-convex domain ${\Omega\subset \mathbb{R}^{n}}$ . Using the methods of degree theory and a priori estimates we prove the existence of two or more solutions to the Hessian equations.     

Linear syzygies and birational combinatorics

Let F be a finite set of monomials of the same degree d ≥ 2 in a polynomial ring R = k[x ₁,…, x _n ] over an arbitrary field k. We give some necessary and/or sufficient conditions for the birationality of the ring extension k[F] ? R ^(d), where R ^(d) is the dth Veronese subring of R. One of our results extends to arbitrary characteristic, in the case of rational monomial maps, a previous syzygytheoretic birationality criterion in characteristic zero obtained in [1].     

Surfaces and Curves Corresponding to the Solutions Generated from Periodic“Seed”of NLS Equation

The solutions q [n] generated from a periodic "seed" q = cei(as+bt) of the nonlinear Schrdinger(NLS) by n-fold Darboux transformation is represented by determinant.Furthermore,the s-periodic solution and t-periodic solution are given explicitly by using q [1].The curves and surfaces(F1,F2,F3) associated with q [n] are given by means of Sym formula.Meanwhile,we show periodic and asymptotic properties of these curves.     

Existence and regularity results for fully nonlinear equations with singularities

We consider the Dirichlet boundary value problem for a singular elliptic PDE like F[u] = p(x)u ^??? , where p, ?? ?? 0, in a bounded smooth domain of ${\mathbb{R}^n}$ . The nondivergence form operator F is assumed to be of Hamilton?CJacobi?CBellman or Isaacs type. We establish existence and regularity results for such equations.     

Compositions of Polynomials with Coefficients in a Given Field

Let F ⊂ K be fields of characteristic 0, and let K[x] denote the ring of polynomials with coefficients in K. Let p(x) = ∑_k = 0ⁿa_kx^k ∈ K[x], a_n ≠ 0. For p ∈ K[x]\F[x], define D_F(p), the F deficit of p, to equal n − max{0 ≤ k ≤ n : a_k∉F}. For p ∈ F[x], define D_F(p) = n. Let p(x) = ∑_k = 0ⁿa_kx^k and let q(x) = ∑_j = 0^mb_jx^j, with a_n ≠ 0, b_m ≠ 0, a_n, b_m ∈ F, b_j∉F for some j ≥ 1. Suppose that p ∈ K[x], q ∈ K[x]\F[x], p, not constant. Our main result is that p ° q ∉ F[x] and D_F(p ° q) = D_F(q). With only the assumption that a_nb_m ∈ F, we prove the inequality D_F(p ° q) ≥ D_F(q). This inequality also holds if F and K are only rings. Similar results are proven for fields of finite characteristic with the additional assumption that the characteristic of the field does not divide the degree of p. Finally we extend our results to polynomials in two variables and compositions of the form p(q(x, y)), where p is a polynomial in one variable.     

Elasticity of factorizations in R 0 + X R1 + … + X lRl [X]

For an atomic domain R the elasticity ρ(R) is defined by ρ(R) = sup{m/n ¦ u₁ … u _m = v ₁ … v_n where u_i, v_i ∈ R are irreducible}. Let R ₀ ? … ? R _l be an ascending chain of domains which are finitely generated over ? and assume that R _l is integral over R ₀. Let X be an indeterminate. In this paper we characterize all domains D of the form D = R ₀ + XR₁ + … + X^lR_l[X] whose elasticity ρ(D) is finite.     

A generalized weight for linear codes and a Witt-MacWilliams theorem

Let F be a finite field, H a subgroup of $\text{F}{}^1$ of index ν, and α₁,…, α_ν coset representatives. For each n-tuple u = (u₁,…, u_n) ?Fⁿ define W_H(u) = (w₁(u),…, w_ν(u)), where w_m(u) = #{u_i: u_i?α_mH}. An H-monomial map on Fⁿ is an automorphism of Fⁿ whose matrix with respect to the co-ordinate basis is of the form P · D, where P is a permutation matrix and D is a diagonal matrix with non-zero entries from H. Suppose C is an (n, k) code over F (that is, a k-dimensional subspace of Fⁿ) and that ?: C → Fⁿ is an injective homomorphism which preserves W_H in the sense that W_H(?(u)) = W_H(u) for all u ?C. We prove that ? may be extended to an H-monomial map on Fⁿ. This generalization of a theorem of MacWilliams on the (Hamming) equivalence of codes may be considered an analogue of the Witt theorem of metric vector space theory.     

Local solvability of the k-Hessian equations

We give a classification of second-order polynomial solutions for the homogeneous k-Hessian equation σ_k[u] = 0. There are only two classes of polynomial solutions: One is convex polynomial; another one must not be(k + 1)-convex, and in the second case, the k-Hessian equations are uniformly elliptic with respect to that solution. Based on this classification, we obtain the existence of C∞local solution for nonhomogeneous term f without sign assumptions.     

Uniformly bounded composition operators in the banach space of bounded (p, k)-variation in the sense of Riesz-Popoviciu

We prove that if the composition operator F generated by a function f: [a, b] × ? → ? maps the space of bounded (p, k)-variation in the sense of Riesz-Popoviciu, p ≥ 1, k an integer, denoted by RV_(p,k)[a, b], into itself and is uniformly bounded then RV_(p,k)[a, b] satisfies the Matkowski condition.     

Analysis for the identification of an unknown diffusion coefficient via semigroup approach

This paper presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u_x) in the inhomogenenous quasi‐linear parabolic equation u_t(x, t)=(k(u_x)u_x(x, t))_x +F(u), with the Dirichlet boundary conditions u(0, t)=ψ₀, u(1, t)=ψ₁ and source function F(u). The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[·]:??→C¹[0, T], Ψ[·]:??→C¹[0, T] via semigroup theory. Copyright © 2009 John Wiley & Sons, Ltd.     

Solution of boundary value problems in cylinders separated by a three-layer film into two semicylinders

Boundary value problems are considered for the class of equations ? _x ² u + L[u] = 0 in cylinders D = (x ?? R, y ?? Q ? R ^m ) with an infinitely thin film at x = 0 consisting of three sublayers with alternating high and low permeability (L-linear differential operator with respect to y _i ). The solutions of the problems are expressed in terms of those of the corresponding classical boundary value problems in homogeneous cylinders D with no film. The resulting formulas have the form of simple quadrature rules, which are amenable to numerical computations.     

The diagnonal multivariate natural exponential families and their classification

A natural exponential family (NEF)F in ? ⁿ ,n>1, is said to be diagonal if there existn functions,a ₁,...,a _n , on some intervals of ?, such that the covariance matrixV _F (m) ofF has diagonal (a ₁(m ₁),...,a _n (m _n )), for allm=(m ₁,...,m _n ) in the mean domain ofF. The familyF is also said to be irreducible if it is not the product of two independent NEFs in ? ^k and ? ^n-k , for somek=1,...,n?1. This paper shows that there are only six types of irreducible diagonal NEFs in ? ⁿ , that we call normal, Poisson, multinomial, negative multinomial, gamma, and hybrid. These types, with the exception of the latter two, correspond to distributions well established in the literature. This study is motivated by the following question: IfF is an NEF in ? ⁿ , under what conditions is its projectionp(F) in ? ^k , underp(x ₁,...,x _n )∶=(x ₁,...,x _k ),k=1,...,n?1, still an NEF in ? ^k ? The answer turns out to be rather predictable. It is the case if, and only if, the principalk×k submatrix ofV _F (m ₁,...,m _n ) does not depend on (m _k+1,...,m _n ).     

Approximation from Above of Systems of Differential Inclusions with Non-Lipschitzian Right-Hand Side

Suppose that ? ⁿ is the p-dimensional space with Euclidean norm ∥ ? ∥, K (? ^p ) is the set of nonempty compact sets in ? ^p , ?₊ = [0, +∞), D = ?₊ × ? ^m × ? ⁿ × [0, a], D ₀ = ?₊ × ? ^m , F ₀: D ₀ → K (? ^m ), and co F ₀ is the convex cover of the mapping F ₀. We consider the Cauchy problem for the system of differential inclusions $$\dot x \in \mu F(t,x,y,\mu ),\quad \dot y \in G(t,x,y,\mu ),\quad x(0) = x_0 ,\quad y(0) = y_0$$ with slow x and fast y variables; here F: D → K (? ^m ), G: D → K (? ⁿ ), and μ ∈ [0, a] is a small parameter. It is assumed that this problem has at least one solution on [0, 1/μ] for all sufficiently small μ ∈ [0, a]. Under certain conditions on F, G, and F ₀, comprising both the usual conditions for approximation problems and some new ones (which are weaker than the Lipschitz property), it is proved that, for any ε > 0, there is a μ₀ > 0 such that for any μ ∈ (0, μ₀] and any solution (x _μ(t), y _μ(t)) of the problem under consideration, there exists a solution u _μ(t) of the problem ${\dot u}$ ∈ μ co F ₀ (t, u), u(0) = x ₀ for which the inequality ∥x _μ(t) ? u _μ(t)∥ < ε holds for each t ∈ [0, 1/μ].     

Spectral analysis for infinite rank perturbations of unbounded diagonal operators

In this paper we study the spectral theory for the class of linear operators A _∞ defined on the so-called non-archimedean Hilbert space E _ω by, A _∞:= D + F _∞ where D is an unbounded diagonal linear operator and F _∞:= Σ _k=1 ^∞ u _k ? v _k is an operator of infinite rank on E _ω .     

Derivations of polynomial algebras without Darboux polynomials

We present several new examples of homogeneous derivations of a polynomial ring k[X]=k[x₁,…,x_n] over a field k of characteristic zero without Darboux polynomials. Using a modification of a result of Shamsuddin, we produce these examples by induction on the number n of variables, thus more easily than the previously known example multidimensional Jouanolou systems of ?o?a?dek.     

On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).