On the Harnack principle for strongly elliptic systems with nonsmooth coefficients

In this paper we prove the following theorem (for notation and definitions, see the paragraphs below): “Let Ω ⊆ ℝⁿ be a domain, m ∈ ℕ, and λ, q > 0. Then, there exists r (= r(λ, q)) > 1 such that for every 0 < p < q, whenever are weak solutions of a strongly elliptic system with m equations of ellipticity λ satisfying ∈ 𝒫_r a.e. and Ω′ ⊆ Ω subdomain, the following inequalities hold: where C (= C(n,m,λ,q,p,Ω,Ω′)) is a positive constant.” © 1999 John Wiley & Sons, Inc.     

Analytic aspects of the Toda system: I. A Moser‐Trudinger inequality

In this paper, we analyze solutions of the open Toda system and establish an optimal Moser‐Trudinger type inequality for this system. Let Σ be a closed surface with area 1 and K = (a_ij)_{N × N} the Cartan matrix for SU(N + 1), i.e., We show that has a lower bound in (H¹(Σ))^N if and only if This inequality is optimal. As a direct consequence, if M_j < for 4π for j = 1, 2, …, N, Φ_M has a minimizer u that satisfies © 2001 John Wiley & Sons, Inc.     

On the Eigenvalues of Half‐Linear Boundary Value Problems

We consider the half‐linear boundary value problem where and the weight function q is assumed to change sign. We prove the existence of two sequences , of eigenvalues and derive asymptotic estimates for as .     

Necessary and Sufficient Conditions for the Oscillation of a Second Order Linear Differential Equation

In this paper we give a necessary and sufficient condition for the oscillation of the second order linear differential equation where p is a locally integrable function and either or where We give some applications which show how these results unify and imply some classical results in oscillation theory.     

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.     

Radially symmetric Poisson–Boltzmann equation in a domain expanding to infinity

The electric potential u in a solution of an electrolyte around a linear polyelectrolyte of the form of a cylinder satisfies We study the problem when R → ∞.     

Integrability Properties of the Maximal Operator on Partial Sums of Fourier Series in Orlicz Spaces

Let S* (f be the majorant function of the partial sums of the trigonometric Fourier series of f. In this paper we consider the Orlicz space Lπ and give a generalization of Soria's result [S1]. Let π (t) be a concave function with some nice properties and . If there exists a positive constant a₀ < 1 such that then we have .     

Compactness of the Canonical Solution Operator of $ \bar \partial $ on Bounded Pseudoconvex Domains

On bounded pseudoconvex domains Ω the orthogonal projection P_q : L²_(p,q) (Ω) → ker _q is given by P_q = Id – S_{q+1 q} = Id – ^*_q+1N_{q+1 q}, where S_q is the canonical solution operator of the ‐equation and N_q is the ‐Neumann operator. We prove a formula for the solution operator S_q restricted on (0, q)‐forms with holomorphic coefficients. And as an application we get a characterization of compactness of the solution operator restricted on (0, q)‐forms with holomorphic coefficients. On general (0, q)‐forms we show that this condition is necessary for compactness of the solution operator.     

Strengths and Weaknesses of LH Arithmetic

In this paper we provide a new arithmetic characterization of the levels of the og‐time hierarchy (LH). We define arithmetic classes and that correspond to ‐LOGTIME and ‐LOGTIME, respectively. We break and into natural hierarchies of subclasses and . We then define bounded arithmetic deduction systems ′ whose ‐definable functions are precisely B( ‐LOGTIME). We show these theories are quite strong in that (1) LIOpen proves for any fixed m that , (2) TAC, a theory that is slightly stronger than ′ whose (LH)‐definable functions are LH, proves LH is not equal to ‐TIME(s) for any m> 0, where 2^s ∈L, s(n) ∈ ω(log n), and (3) TAC proves LH ≠ for all k and m. We then show that the theory TAC cannot prove the collapse of the polynomial hierarchy. Thus any such proof, if it exists, must be argued in a stronger systems than ours.     

Nontrivial periodic solutions of a nonlinear beam equation

We consider the existence of a nontrivial solution of the following equation: where g is a nondecreasing function defined on R¹, satisfies g(O) = O, and some other additional conditions. Our results and methods are quite similar to those associated with recent work on the nonlinear wave equation [1]-[8]: .     

Hamilton decompositions of complete multipartite graphs with any 2-factor leave

For m ≥ 1 and p ≥ 2, given a set of integers s₁,…,s_q with for and , necessary and sufficient conditions are found for the existence of a hamilton decomposition of the complete p-partite graph , where U is a 2-factor of consisting of q cycles, the jth cycle having length s_j. This result is then used to completely solve the problem when p = 3, removing the condition that . © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 208–214, 2003     

Convergence Laws for Very Sparse Random Structures with Generalized Quantifiers

We prove convergence laws for logics of the form , where is a properly chosen collection of generalized quantifiers, on very sparse finite random structures. We also study probabilistic collapsing of the logics , where is a collection of generalized quantifiers and k ∈ ℕ₊, under arbitrary probability measures of finite structures.     

Uniqueness of Integrable Solutions ∇ζ = Gζ, ζ∣Γ = 0 for Integrable Tensor-Coefficients G and Applications to Elasticity

Let be bounded Lipschitz and relatively open. We show that the solution to the linear first order system 1 : (1) vanishes if and , (e.g. ). We prove to be a norm if with , for some p, q > 1 with 1/p + 1/q = 1 and . We give a new proof for the so called ‘in-finitesimal rigid displacement lemma’ in curvilinear coordinates: Let , satisfy for some with . Then there are and a constant skew-symmetric matrix , such that . (© 2013 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Supercritical Branching Brownian Motion and K-P-P Equation In the Critical Speed-Area

If R_t is the position of the rightmost particle at time t in a one dimensional branching brownian motion, whore α is the inverse of the mean life time and m is the mean of the reproduction law. If Z_t denotes the random point measure of particles living at time t, we get in the critical area {c = c₀} The function u(t, x) = P(R_t > x) is studied as a solution of the K-P-P equation for some function f. Conditioned on non-extinction of the spatial tree in the c₀-direction, a limit distribution is obtained and characterized.     

Nonlinear Eigenvalue Problem for p-Laplacian in IRN

The nonlinear eigenvalue problem for p-Laplacian is considered. We assume that 1 < p < N and that the function f is of subcritical growth with respect to the variable u. The existence and C^1,α-regularity of the weak solution is proved.     

Obstacle Problems with Linear Growth: Hölder Regularity for the Dual Solution

For a strictly convex integrand f : ℝⁿ → ℝ with linear growth we discuss the variational problem among mappings u : ℝⁿ ⊃ Ω → ℝ of Sobolev class W¹₁ with zero trace satisfying in addition u ≥ ψ for a given function ψ such that ψ|_∂Ω < 0. We introduce a natural dual problem which admits a unique maximizer σ. In further sections the smoothness of σ is investigated using a special J-minimizing sequence with limit u* ∈ C^1,α (Ω) for which the duality relation holds.     

Quasilinear degenerate parabolic equations of Kirchhoff type

We investigate the evolution problem where H is a Hilbert space, A is a self‐adjoint linear non‐negative operator on H with domain D(A), and is a continuous function. We prove that if , and , then there exists at least one global solution, which is unique if either m never vanishes, or m is locally Lipschitz continuous. Moreover, we prove that if for all , then this problem is well posed in H. On the contrary, if for some it happens that for all , then this problem has no solution if with β small enough. We apply these results to degenerate parabolic PDEs with non‐local non‐linearities. Copyright © 1999 John Wiley & Sons, Ltd.     

Comparing Packing Measures to Hausdorff Measures on the Line

For each 0 < s < 1, define where , denote respectively the s‐dimensional packing measure and Hausdorff measure, and the infimum is taken over all the sets E ⊂ R with . In this paper we give a nontrivial estimation of c(s), namely, for each 0 < s < 1, where . As an application, we obtain a lower density theorem for Hausdorff measures.     

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.     

Hyponormality of Toeplitz Operators with Polynomial Symbols: An Extremal Case

If T_φ is a hyponormal Toeplitz operator with polynomial symbol φ = ḡ + f (f, g ∈ H^∞ (𝕋 )) such that g divides f, and if ψ := then where μ is the leading coefficient of ψ and 𝒵(ψ) denotes the set of zeros of ψ. In this paper we present a necessary and sufficient condition for T_φ to be hyponormal when φ enjoys an extremal case in the above inequality, that is, equality holds in the above inequality.