A moment theorem for completely hyperexpansive operators

Given a family $ \{ A_m^x \} _{\mathop {m \in \mathbb{Z}_ + ^d }\limits_{x \in X} } $ (X is a non-empty set) of bounded linear operators between the complex inner product space $ \mathcal{D} $ and the complex Hilbert space ? we characterize the existence of completely hyperexpansive d-tuples T = (T ₁, … , T _d ) on ? such that A _m ^x = T ^m A ₀ ^x for all m ? ? ₊ ^d and x ? X.     

A note on a third‐order multi‐point boundary value problem at resonance

Based on the coincidence degree theory of Mawhin, we prove some existence results for the following third‐order multi‐point boundary value problem at resonance where f: [0, 1] × R³ → R is a continuous function, 0 < ξ₁ < ??? < ξ_m < 1, α_i ∈ R, i = 1, …, m, m ≥ 1 and 0 < η₁ < η₂ < ??? < η_n < 1, β_j ∈ R, j = 1, 2, …, n, n ≥ 2. In this paper, the dimension of the linear space Ker L (linear operator L is defined by Lx = x′^′′) is equal to 2. Since all the existence results for third‐order differential equations obtained in previous papers are for the case dim Ker L = 1, our work is new.     

Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel

Let k be an arbitrary field, X₁,….,X_n indeterminates over k and F₁…, F₃ ε ∈ k[X₁…,X_n] polynomials of maximal degree $ d: = \mathop {\max }\limits_{1 \le i \le a} \deg $ (F_i). We give an elementary proof of the following effective Nullstellensatz: Assume that F₁,…,F have no common zero in the algebraic closure of k. Then there exist polynomials P₁…, P₃ ε ∈ k[X₁…,X_n] such that $ 1: = \mathop \Sigma \limits_{1 \le i \le a} $ P_iF_i and This result has many applications in Computer Algebra. To exemplify this, we give an effective quantitative and algorithmic version of the Quillen-Suslin Theorem baaed on our effective Nullstellensatz.     

Global solutions for operator Riccati equations with unbounded coefficients: A non-linear semigroup approach

Let X be a Banach space of real-valued functions on [0, 1] and let ?(X) be the space of bounded linear operators on X. We are interested in solutions R:(0, ∞) → ?(X) for the operator Riccati equation where T is an unbounded multiplication operator in X and the B_i(t)'s are bounded linear integral operators on X. This equation arises in transport theory as the result of an invariant embedding of the Boltzmann equation. Solutions which are of physical interest are those that take on values in the space of bounded linear operators on L¹(0, 1). Conditions on X, R(0), T, and the coefficients are found such that the theory of non-linear semigroups may be used to prove global existence of strong solutions in ?(X) that also satisfy R(t) ? ?(L¹(0,1)) for all t ≥ 0.     

Perfect Mendelsohn designs with equal-sized holes and block size four

Let M = {m₁, m₂, …, m_h} and X be a v-set (of points). A holey perfect Mendelsohn designs (briefly (v, k, λ) - HPMD), is a triple (X, H, B), where H is a collection of subsets of X (called holes) with sizes M and which partition X, and B is a collection of cyclic k-tuples of X (called blocks) such that no block meets a hole in more than one point and every ordered pair of points not contained in a hole appears t-apart in exactly λ blocks, for 1 ≤ t ≤ k − 1. The vector (m₁, m₂, …, m_h) is called the type of the HPMD. If m₁ = m₂ = … = m_h = m, we write briefly m^h for the type. In this article, it is shown that the necessary condition for the existence of a (v, 4, λ) - HPMD of type m^h, namely, is also sufficient with the exception of types 2⁴ and 1⁸ with λ = 1, and type m⁴ for odd m with odd λ. © 1997 John Wiley & Sons, Inc. J Combin Designs 5: 203–213, 1997     

Subsets of a Hilbert space,having finite hausdorff dimension

Let X₂, X₂ be Hilbert spaces, X₂ X₁, X₂ is dense in X₁, the imbedding is compact,m X₂, dim_H ⁱ m and h⁽ⁱ⁾(m) are the Hausdorff dimension and the limit capacity (information dimension) of the setm with respect to the metrics of the spaces X_i (i=1, 2). Two examples are constructed. 1) An example of a setm bounded in X₂, such that: a) h⁽¹⁾(m) < (and, consequently, dim_H ¹ m); b)m cannot be covered by a countable collection of sets, compact in X₂ (and, consequently, dim_H ² m=). 2) an Example of a setm, compact in X₂, such that h⁽¹⁾(m) < and h⁽²⁾(m)=.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 163, pp. 154–165, 1987.     

Successor levels of the Jensen hierarchy

I prove that there is a recursive function T that does the following: Let X be transitive and rudimentarily closed, and let X ′ be the closure of X ∪ {X } under rudimentary functions. Given a Σ₀‐formula φ (x) and a code c for a rudimentary function f, T (φ, c, ) is a Σ_ω ‐formula such that for any ∈ X, X ′ ? φ [f ( )] iff X ? T (φ, c, )[ ]. I make this precise and show relativized versions of this. As an application, I prove that under certain conditions, if Y is the Σ_ω extender ultrapower of X with respect to some extender F that also is an extender on X ′, then the closure of Y ∪ {Y } under rudimentary functions is the Σ₀ extender ultrapower of X′ with respect to F, and the ultrapower embeddings agree on X. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

New cases of Reay’s conjecture on partitions of points into simplices with -dimensional intersection

Reay’s conjecture asserts that every set of (m−1)(d+1)+k+1 points in general position in (with 0≤k≤d) has a partition X₁,X₂,…,X_m such that is at least k-dimensional. We prove this conjecture in several cases: when m≤8 (for arbitrary d and k), when d=6,d=7 and d=8 (for arbitrary m and k), and when k=1 and d≤24 (for arbitrary m).     

On series of signed vectors and their rearrangements

Let x₁,…,x_m∈ \input amssym $ \Bbb R$ n be a sequence of vectors with ∥x_i∥₂ ≤ 1 for all i. It is proved that there are signs ε₁,…,ε_m = ±1 such that where C₁, C₂ are some numerical constants. It is also proved that there are signs ε,…,ε = ±1 and a permutation π of {1,…,m} such that where C^′ is some other numerical constant. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011     

A note on the oscillatory property for nonlinear difference equations and differential equations

Criteria are given to determine the oscillatory property of solutions of the nonlinear difference equation: Δ^du_n + ∑_{i = 1}^mp_inf_i(u_n, Δu_n,…,Δ^{d ? 1}u_n) = 0, n = 0, 1, 2,…, where d is an arbitrary integer, generalizing results that have been obtained by B. Szmanda (J. Math. Anal. Appl.79 (1981), 90–95) for d = 2. Analogous results are given for the differential equation: u^(d) + ∑_{i = 1}^mp_i(t)f_i(u, u′,…, u^{(d ? 1)}) = 0, t ? t₀, which coincide with the criteria given by 2., 3., 599–602) and 4., 5., 6., 715–719) for the case m = 1.     

Cylinder Homomorphisms and Chow Groups

Let X be a projective algebraic manifold of dimension n (over C), CH¹(X) the Chow group of algebraic cycles of codimension l on X, modulo rational equivalence, and A¹(X) ? CH¹(X) the subgroup of cycles algebraically equivalent to zero. We say that A¹(X) is finite dimensional if there exists a (possibly reducible) smooth curve T and a cycle z∈CH¹(Γ × X) such that z_*:A¹(Γ)-A¹(X) is surjective. There is the well known Abel-Jacobi map λ₁:A¹(X)-J(X), where J(X) is the lth Lieberman Jacobian. It is easy to show that A¹(X)→J(X) A¹(X) finite dimensional. Now set with corresponding map A^*(X)→J(X). Also define Level . In a recent book by the author, there was stated the following conjecture: where it was also shown that (?) in (**) is a consequence of the General Hodge Conjecture (GHC). In this present paper, we prove A^*(X) finite dimensional ?? Level (H^*(X)) ≤ 1 for a special (albeit significant) class of smooth hypersurfaces. We make use of the family of k-planes on X, where ([…] = greatest integer function) and d = deg X; moreover the essential technical ingredients are the Lefschetz theorems for cohomology and an analogue for Chow groups of hypersurfaces. These ingredients in turn imply very special cases of the GHC for our choice of hypersurfaces X. Some applications to the Griffiths group, vanishing results, and (universal) algebraic representatives for certain Chow groups are given.     

Higher order multi‐point boundary value problems

We consider the boundary value problem where n ? 2 and m ? 1 are integers, t_j ∈ [0, 1] for j = 1, …, m, and f and g_i, i = 0, …, n ? 1, are continuous. We obtain sufficient conditions for the existence of a solution of the above problem based on the existence of lower and upper solutions. Explicit conditions are also found for the existence of a solution of the problem. The differential equation has dependence on all lower order derivatives of the unknown function, and the boundary conditions cover many multi‐point boundary conditions studied in the literature. Schauder’s fixed point theorem and appropriate Nagumo conditions are employed in the analysis. Examples are given to illustrate the results. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On a conjecture on maximal planar sequences

Let d1 d2 dp denote the nonincreasing sequence d₁, …, d₁, d₂, …, d₂, …, d_p, …, d_p, where the term d_i appears k_i times (i = 1, 2, …, p). In this work the author proves that the maximal 2-sequences: 7³6¹5¹⁵, 7⁵6¹5¹⁷, 7⁷6¹5¹⁹ are planar graphical, in contrast to a conjecture by Schmeichel and Hakimi.     

Barth type vanishing theorems

Let X be a smooth, projective, d-dimensional subvariety of ⁿ (). Barth's theorem says that H ^q (X, ^p _X )=0 when pq and q+p2d–n (if p=0 we must have q>0). It is very interesting to look for analogous vanishing theorems for H ^q (X, ^p _X (m)), m (see [S-S], [F], [S]). In this paper we prove some vanishing theorems for H ^q (X, ^p _X (1)), for H ^q (X, ^p _X (m)) when m–1, and, if dim(X)=n–2, for H ^q (X, ² _X (m)) and H ^q (X, S ^{k 1} _X (m)). We use standard techniques and some of our previous results.     

Second‐order backward stochastic differential equations and fully nonlinear parabolic PDEs

For a d‐dimensional diffusion of the form dX_t = μ(X_t)dt + σ(X_t)dW_t and continuous functions f and g, we study the existence and uniqueness of adapted processes Y, Z, Γ, and A solving the second‐order backward stochastic differential equation (2BSDE) If the associated PDE has a sufficiently regular solution, then it follows directly from Itô's formula that the processes solve the 2BSDE, where ?? is the Dynkin operator of X without the drift term. The main result of the paper shows that if f is Lipschitz in Y as well as decreasing in Γ and the PDE satisfies a comparison principle as in the theory of viscosity solutions, then the existence of a solution (Y, Z,Γ, A) to the 2BSDE implies that the associated PDE has a unique continuous viscosity solution v and the process Y is of the form Y_t = v(t, X_t), t ∈ [0, T]. In particular, the 2BSDE has at most one solution. This provides a stochastic representation for solutions of fully nonlinear parabolic PDEs. As a consequence, the numerical treatment of such PDEs can now be approached by Monte Carlo methods. © 2006 Wiley Periodicals, Inc.