Approximation by harmonic functions on closed subsets of Riemann surfaces

Given continuous functionsu and ∈ on a closed subsetF of a Riemann surface, we seek a harmonic functionv on the surface (possibly with logarithmic singularities) such that |u−v|<∈ onF. Research supported in part by NSERC—Canada and FCAR—Quebec.     

Large centralizers in finite solvable groups

In 1955 R. Brauer and K. A. Fowler showed that ifG is a group of even order >2, and the order |Z(G)| of the center ofG is odd, then there exists a strongly real) elementx∈G−Z whose centralizer satisfies|C _G(x)|>|G|^1/3. In Theorem 1 we show that every non-abeliansolvable groupG contains an elementx∈G−Z such that|C _G(x)|>[G:G′∩Z]^1/2 (and thus|C _G(x)|>|G|^1/3). We also note that if non-abelianG is either metabelian, nilpotent or (more generally) supersolvable, or anA-group, or any Frobenius group, then|C _G(x)|>|G|^1/2 for somex∈G−Z. In Theorem 2 we prove that every non-abelian groupG of orderp ^mqⁿ (p, q primes) contains a proper centralizer of order >|G|^1/2. Finally, in Theorem 3 we show that theaverage |C(x)|, x∈G, is ≧c|G| ^1/3 for metabelian groups, wherec is constant and the exponent 1/3 is best possible.     

Computation of Legendre functions

The computation of the Legendre functions P_v(x) for −1 < x ≤ 1, v ∈ ℂ and of the adjoint Legendre functions P _v ^−m (x) for −1 < x ≤ 1, v ∈ ℂ, and m ∈ ℤ₊ is the subject of the paper. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 342, 2007, pp. 14–30.     

A note on a Liouville type result of Gilbarg and Weinberger for the stationary Navier–Stokes equations in 2<Emphasis Type="Italic">D</Emphasis>

We show that a velocity field u satisfying the stationary Navier–Stokes equations on the entire plane must be constant under the growth condition lim sup |x|^−α |u(x)| < ∞ as |x| → ∞ for some α ∈ [0, 1/7).^† Bibliography: 10 titles.     

Fujita-Liouville Type Theorem for Coupled Fourth-Order Parabolic Inequalities

This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ 2u + |v|q,|v|t ≥ 2v + |u|p in S = Rn × R+ with p,q > 1,n ≥ 1.A FujitaLiouville type theorem is established that the inequality system does not admit nontrivial nonnegative global solutions on S whenever n4 ≤ max(ppq+11,pqq+11).Since the general maximum-comparison principle does not hold for the fourth-order problem,the authors use the test function method to get the global non-existence of nontrivial solutions.     

<Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> Estimates of solution for <Emphasis Type="Italic">m</Emphasis>-Laplacian parabolic equation with a nonlocal term

In this paper, we consider the global existence, uniqueness and L ^∞ estimates of weak solutions to quasilinear parabolic equation of m-Laplacian type u _t − div(|∇u| ^m−2∇u) = u|u| ^β−1 ∫_Ω |u| ^α dx in Ω × (0,∞) with zero Dirichlet boundary condition in tdΩ. Further, we obtain the L ^∞ estimate of the solution u(t) and ∇u(t) for t > 0 with the initial data u ₀ ∈ L ^q (Ω) (q > 1), and the case α + β < m − 1.     

The riesz turndown collar theorem giving an asymptotic estimate of the powers of an operator under the ritt condition

For Banach space operatorsT satisfying the Tadmor-Ritt condition ‖(zI−T)⁻¹‖≤C|z−1|⁻¹, |z|>1, we show how to use the Riesz turndown collar theorem to estimate sup _n≥0‖T ⁿ‖. A similar estimate is shown for lim sup _n ‖T ⁿ‖ in terms of the Ritt constantM=lim sup _z→1‖(1−z)(zI−T)⁻¹‖. We also obtain an estimate of the functional calculus for these operators proving, in particular, that ‖f(T)‖≤C _q‖f‖ _Mult , where ‖·‖ _Mult stands for the multiplier norm of the Cauchy-Stieltjes integrals over a Lusin type cone domain depending onC and a parameterq, 0<q<1. Notation.D denotes the open unit disc of the complex plane,D={z∈ℂ:|z|<1}, andT={z∈ℂ:|z|=1} is the unit circle.H ^∞ is the Banach algebra of bounded analytic functions onD equipped with the supremum norm ‖.‖_∞.     

Boundary functions on a bounded balanced domain

We solve the following Dirichlet problem on the bounded balanced domain with some additional properties: For p > 0 and a positive lower semi-continuous function u on ∂Ω with u(z) = u(λ z) for |λ| = 1, z ∈ ∂Ω we construct a holomorphic function f ∈ (Ω) such that for z ∈ ∂Ω, where = {λ ∈ ℂ: |λ| < 1}.      

On typically real functions which are generated by a fixed typically real function

Let T be the family of all typically real functions, i.e. functions that are analytic in the unit disk Δ:= {z ∈ ℂ: |z| < 1}, normalized by f(0) = f′(0) − 1 = 0 and such that Imz Im f(z) ⩾ 0 for z ∈ Δ.     

Restricted sumsets and a conjecture of Lev

LetA, B, S be finite subsets of an abelian groupG. Suppose that the restricted sumsetC={α+b: α ∈A, b ∈B, and α − b ∉S} is nonempty and somec∈C can be written asa+b witha∈A andb∈B in at mostm ways. We show that ifG is torsion-free or elementary abelian, then |C|≥|A|+|B|−|S|−m. We also prove that |C|≥|A|+|B|−2|S|−m if the torsion subgroup ofG is cyclic. In the caseS={0} this provides an advance on a conjecture of Lev. This author is responsible for communications, and supported by the National Science Fund for Distinguished Young Scholars (No. 10425103) and the Key Program of NSF (No. 10331020) in China.     

零点有次线性项的椭圆问题的变号解

Abstract. It is proved that the semilinear elliptic problem with zero boundary value     

Asymptotic behavior on the Hénon equation with supercritical exponent

The main purpose of this paper is to analyze the asymptotic behavior of the radial solution of Hénon equation −Δu = |x| ^α u ^p−1, u > 0, x ∈ B _R (0) ⊂ ℝ ⁿ (n ⩾ 3), u = 0, x ∈ ∂B _R (0), where $ p \to p(\alpha ) = \frac{{2(n + \alpha )}} {{n - 2}} $ p \to p(\alpha ) = \frac{{2(n + \alpha )}} {{n - 2}} from left side, α > 0.     

Inclusion sets for the singular values of a square matrix

The paper presents a general approach to deriving inclusion sets for the singular values of a matrix A = (a_ij) ∈ ℂ ^n×n. The key to the approach is the following result: If σ is a singular value of A, then a certain matrix C(σ, A) of order 2n, whose diagonal entries are σ² − | a_ii|², i = 1, …, n, is singular. Based on this result, we use known diagonal-dominance type nonsingularity conditions to obtain inclusion sets for the singular values of A. Scaled versions of the inclusion sets, allowing one, in particular, to obtain Ky Fan type results for the singular values, are derived by passing to the conjugated matrix D⁻¹C(σ, A)D, where D is a positive-definite diagonal matrix. Bibliography: 16 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 359, 2008, pp. 52–77.     

Systems of equations driven by stable processes

Let Z^j_t, j = 1, . . . , d, be independent one-dimensional symmetric stable processes of index α ∈ (0,2). We consider the system of stochastic differential equations where the matrix A(x)=(A_ij(x))1≤ i, j ≤ d is continuous and bounded in x and nondegenerate for each x. We prove existence and uniqueness of a weak solution to this system. The approach of this paper uses the martingale problem method. For this, we establish some estimates for pseudodifferential operators with singular state-dependent symbols. Let λ₂ > λ₁ > 0. We show that for any two vectors a, b∈ ℝ_d with |a|, |b| ∈ (λ₁, λ₂) and p sufficiently large, the L^p-norm of the operator whose Fourier multiplier is (|u · a|^α - |u · b|^α) / ∑_j=1^d |u_i|^α is bounded by a constant multiple of |a−b|^θ for some θ > 0, where u=(u₁ , . . . , u_d) ∈ ℝ^d. We deduce from this the L^p-boundedness of pseudodifferential operators with symbols of the form ψ(x,u)=|u · a(x)|^α / ∑_j=1^d |u_i|^α, where u=(u₁,...,u_d) and a is a continuous function on ℝ^d with |a(x)|∈ (λ₁, λ₂) for all x∈ ℝ^d. Research partially supported by NSF grant DMS-0244737. Research partially supported by NSF grant DMS-0303310.     

Existence of singular solutions of a degenerate equation in R 2

Let a₁,a₂, . . . ,a_m ∈ ℝ², 2≤f ∈ C([0,∞)), g_i ∈ C([0,∞)) be such that 0≤g_i(t)≤2 on [0,∞) ∀i=1, . . . ,m. For any p>1, we prove the existence and uniqueness of solutions of the equation u_t=Δ(logu), u>0, in satisfying and logu(x,t)/log|x|→−f(t) as |x|→∞, logu(x,t)/log|x−a_i|→−g_i(t) as |x−a_i|→0, uniformly on every compact subset of (0,T) for any i=1, . . . ,m under a mild assumption on u₀ where We also obtain similar existence and uniqueness of solutions of the above equation in bounded smooth convex domains of ℝ² with prescribed singularities at a finite number of points in the domain.     

Global existence and L ∞ estimates of solutions for a quasilinear parabolic system

In this paper, we study the global existence, L^∞ estimates and decay estimates of solutions for the quasilinear parabolic system u_t = div (|∇ u|^m ∇ u) + f(u, v), v_t = div (|∇ v|^m ∇ v) + g(u,v) with zero Dirichlet boundary condition in a bounded domain Ω ⊂ R^N. In particular, we find a critical value for the existence and nonexistence of global solutions to the equation u_t = div (|∇ u|^m ∇ u) + λ |u|^{α - 1} u.     

Solvability of elliptic functional-differential equations with compressions of the arguments in weighted spaces

In the paper, the equation

A sufficient condition for the existence of a “dead zone” for solutions of degenerate semilinear parabolic equations and inequalities

We consider the solutions of degenerate parabolic equations and inequalities of the formLu-u _t = |u| ^q sgnu and sgnu(Lu−u _t )−|u| ^q ≥0, 0<q<1, with the elliptic operatorL in divergent or nondivergent form. We establish a dependence of the maximum modulus of the solution on the domain and on the equation (inequality) such that this dependence guarantees the existence of a “dead zone” of the solution. In this case, the character of degeneracy is unessential. Translated fromMatematicheskie Zametki, Vol. 60, No. 6, pp. 824–831, December, 1996.     

Factorization for non-nevanlinna classes of analytic functions

A generalization of the Blaschke product is constructed. This product enables one to factor out the zeros of the members of certain non-Nevanlinna classes of functions analytic in the unit disc, so that the remaining (non-vanishing) functions still belong to the same class. This is done for the classesA ⁻ⁿ (0<n<∞) andB ⁻ⁿ (0<n<2) defined as follows:f ∈A ⁻ⁿ iff |f(z)|≦C _f (1−|z|)⁻ⁿ ,f ∈B ⁻ⁿ iff |f(z)|≦exp {C _f (1−|z|)⁻ⁿ }, whereC _f depends onf.