Local Lipschitz continuity of solutions to a problem in the calculus of variations

This article studies the problem of minimizing ∫_ΩF(Du)+G(x,u) over the functions uW^1,1(Ω) that assume given boundary values on ∂Ω. The function F and the domain Ω are assumed convex. In considering the same problem with G=0, and in the spirit of the classical Hilbert–Haar theory, Clarke has introduced a new type of hypothesis on the boundary function : the lower (or upper) bounded slope condition. This condition, which is less restrictive than the classical bounded slope condition of Hartman, Nirenberg and Stampacchia, is satisfied if is the restriction to ∂Ω of a convex (or concave) function. We show that for a class of problems in which G(x,u) is locally Lipschitz (but not necessarily convex) in u, the lower bounded slope condition implies the local Lipschitz regularity of solutions.     

Relative rearrangement and Lebesgue spaces with variable exponent

We apply the techniques of monotone and relative rearrangements to the nonrearrangement invariant spaces L^p()(Ω) with variable exponent. In particular, we show that the maps uL^p()(Ω)→k(t)u_*L^p_*()(0,measΩ) and uL^p()(Ω)→u_*L^p*()(0,measΩ) are locally -Hölderian (u_* (resp. p^*) is the decreasing (resp. increasing) rearrangement of u (resp. p)). The pointwise relations for the relative rearrangement are applied to derive the Sobolev embedding with eventually discontinuous exponents.     

A new regularized method for two dimensional nonhomogeneous backward heat problem

We consider the problem of finding, from the final data u(x,y,T)=g(x,y), the initial data u(x,y,0) of the temperature function u(x,y,t),(x,y)I=(0,π)×(0,π),t[0,T] satisfying the following system

The problem is severely ill-posed. In this paper a simple and convenient new regularization method for solving this problem is considered. Meanwhile, some quite sharp error estimates between the approximate solution and exact solution are provided. A numerical example also shows that the method works effectively.     

Every 4-connected line graph of a quasi claw-free graph is hamiltonian connected

Let G be a graph. For u,vV(G) with dist_G(u,v)=2, denote J_G(u,v)={wN_G(u)∩N_G(v)|N_G(w)N_G(u)N_G(v){u,v}}. A graph G is called quasi claw-free if J_G(u,v)≠ for any u,vV(G) with dist_G(u,v)=2. In 1986, Thomassen conjectured that every 4-connected line graph is hamiltonian. In this paper we show that every 4-connected line graph of a quasi claw-free graph is hamiltonian connected.     

Convergence of a Halpern-type iteration algorithm for a class of pseudo-contractive mappings

Let E be a real reflexive Banach space with uniformly Gâteaux differentiable norm. Let K be a nonempty bounded closed and convex subset of E. Let T:K→K be a strictly pseudo-contractive map and let L>0 denote its Lipschitz constant. Assume F(T){xK:Tx=x}≠0/ and let zF(T). Fix δ(0,1) and let δ^* be such that δ^*δL(0,1). Define , where δ_n(0,1) and limδ_n=0. Let {α_n} be a real sequence in (0,1) which satisfies the following conditions: . For arbitrary x₀,uK, define a sequence {x_n}K by x_n+1=α_nu+(1−α_n)S_nx_n. Then, {x_n} converges strongly to a fixed point of T.     

A Schrödinger singular perturbation problem

Consider the equation −ε²Δu_ε + q(x)u_ε = f(u_ε) in , u(∞) < ∞, ε = const > 0. Under what assumptions on q(x) and f(u) can one prove that the solution u_ε exists and lim_ε→0u_ε = u(x), where u(x) solves the limiting problem q(x)u = f(u)? These are the questions discussed in the paper.     

-regularity of the Aronsson equation in

For a nonnegative, uniformly convex HC²(R²) with H(0)=0, if uC(Ω), ΩR², is a viscosity solution of the Aronsson equation (1.7), then uC¹(Ω). This generalizes the C¹-regularity theorem on infinity harmonic functions in R² by Savin [O. Savin, C¹-regularity for infinity harmonic functions in dimensions two, Arch. Ration. Mech. Anal. 176 (3) (2005) 351–361] to the Aronsson equation.     

EXISTENCE OF GLOBAL ATTRACTORS FOR A NONLINEAR EVOLUTION EQUATION IN SOBOLEV SPACE Hk

In this paper we prove that the initial-boundary value problem for the nonlinear evolution equation ut = △u ＋ λu - u^3 possesses a global attractor in Sobolev space H^k for all k≥0, which attracts any bounded domain of H^k（Ω） in the H^k-norm. This result is established by using an iteration technique and regularity estimates for linear semigroup of operator, which extends the classical result from the case k ∈ [0, 1] to the case k∈ [0, ∞）.     

Nonexistence of backward self-similar blowup solutions to a supercritical semilinear heat equation

We consider a Cauchy problem for a semilinear heat equation

with p>p_S where p_S is the Sobolev exponent. If u(x,t)=(T−t)^−1/(p−1)φ((T−t)^−1/2x) for xR^N and t[0,T), where φ is a regular positive solution of

(P)

then u is called a backward self-similar blowup solution. It is immediate that (P) has a trivial positive solution κ≡(p−1)^−1/(p−1) for all p>1. Let p_L be the Lepin exponent. Lepin obtained a radial regular positive solution of (P) except κ for p_S<p<p_L. We show that there exist no radial regular positive solutions of (P) which are spatially inhomogeneous for p>p_L.     

Optimal Sobolev Imbeddings Involving Rearrangement-Invariant Quasinorms

Let m and n be positive integers with n2 and 1mn−1. We study rearrangement-invariant quasinorms _R and _D on functions f: (0, 1)→ such that to each bounded domain Ω in ⁿ, with Lebesgue measure |Ω|, there corresponds C=C(|Ω|)>0 for which one has the Sobolev imbedding inequality _R(u*(|Ω| t))C_D(|^mu|* (|Ω| t)), uC^m₀(Ω), involving the nonincreasing rearrangements of u and a certain mth order gradient of u. When m=1 we deal, in fact, with a closely related imbedding inequality of Talenti, in which _D need not be rearrangement-invariant, _R(u*(|Ω| t))C_D((d/dt) ∫_{{x ⁿ : |u(x)|>u*(|Ω| t)}} |(u)(x)| dx), uC¹₀(Ω). In both cases we are especially interested in when the quasinorms are optimal, in the sense that _R cannot be replaced by an essentially larger quasinorm and _D cannot be replaced by an essentially smaller one. Our results yield best possible refinements of such (limiting) Sobolev inequalities as those of Trudinger, Strichartz, Hansson, Brézis, and Wainger.     

Positive solutions for logistic type quasilinear elliptic equations on R

In this paper, we consider positive solutions of the logistic type p-Laplacian equation −Δ_pu=a(x)|u|^p−2u−b(x)|u|^q−1u, xR^N (N2). We show that under rather general conditions on a(x) and b(x) for large |x|, the behavior of the positive solutions for large |x| can be determined. This is then used to show that there is a unique positive solution. Our results improve the corresponding ones in J. London Math. Soc. (2) 64 (2001) 107–124 and J. Anal. Math., in press.     

Optimal Recovery of the Derivative of Periodic Analytic Functions from Hardy Classes

LetS_β{z : |Im z|<β}. For 2π-periodic functions which are analytic inS_βwithp-integrable boundary values, we construct an optimal method of recovery off′(ξ), ξS_β, using information about the valuesf(x₁), mldr;, f(x_n), x_j[0, 2π).     

Asymptotic behavior of solutions of semilinear elliptic equations near an isolated singularity

We consider the semilinear elliptic equation Δu=h(u) in Ω{0}, where Ω is an open subset of (N2) containing the origin and h is locally Lipschitz continuous on [0,∞), positive in (0,∞). We give a complete classification of isolated singularities of positive solutions when h varies regularly at infinity of index q(1,C_N) (that is, lim_u→∞h(λu)/h(u)=λ^q, for every λ>0), where C_N denotes either N/(N−2) if N3 or ∞ if N=2. Our result extends a well-known theorem of Véron for the case h(u)=u^q.     

A new upper bound for the total vertex irregularity strength of graphs

We investigate the following modification of the well-known irregularity strength of graphs. Given a total weighting w of a graph G=(V,E) with elements of a set {1,2,…,s}, denote wt_G(v)=∑_evw(e)+w(v) for each vV. The smallest s for which exists such a weighting with wt_G(u)≠wt_G(v) whenever u and v are distinct vertices of G is called the total vertex irregularity strength of this graph, and is denoted by . We prove that for each graph of order n and with minimum degree δ>0.     

A Nonsymmetric Correlation Inequality for Gaussian Measure

Letμbe a Gaussian measure (say, onRⁿ) and letK,LRⁿbe such thatKis convex,Lis a “layer” (i.e.,L={x: ax, ub} for somea, bRanduRⁿ), and the centers of mass (with respect toμ) ofKandLcoincide. Thenμ(K∩L)μ(K)·μ(L). This is motivated by the well-known “positive correlation conjecture” for symmetric sets and a related inequality of Sidak concerning confidence regions for means of multivariate normal distributions. The proof uses the estimateΦ(x)> 1−((8/π)^1/2/(3x+(x²+8)^1/2))e^−x2/2,x>−1, for the (standard) Gaussian cumulative distribution function, which is sharper than the classical inequality of Komatsu.     

Regularity results for stable-like operators

For α[1,2) we consider operators of the form

and for α(0,1) we consider the same operator but where the f term is omitted. We prove, under appropriate conditions on A(x,h), that any solution u to will be in C^α+β if fC^β.     

Galerkin solution of a singular integral equation with constant coefficients

Galerkin methods are used to approximate the singular integral equation

with solution φ having weak singularity at the endpoint −1, where a, b≠0 are constants. In this case φ is decomposed as φ(x)=(1−x)^α(1+x)^βu(x), where β=−α, 0<α<1. Jacobi polynomials are used in the discussions. Under the conditions fH^μ[−1,1] and k(t,x)H^μ,μ[−1,1]×[−1,1], 0<μ<1, the error estimate under a weighted L² norm is O(n^−μ). Under the strengthened conditions f^″H^μ[−1,1] and , 2α−<μ<1, the error estimate under maximum norm is proved to be O(n^2α−−μ+), where , >0 is a small enough constant.     

Constant-sign solutions for systems of singular integral equations of Hammerstein type

We consider the system of Hammerstein integral equations

where T>0 is fixed, ρ_i’s are given functions and the nonlinearities f_i(t,x₁,x₂,…,x_n) can be singular at t=0 and x_j=0 where j{1,2,,n}. Criteria are offered for the existence of constant-sign solutions, i.e., θ_iu_i(t)≥0 for t[0,T] and 1≤i≤n, where θ_i{1,−1} is fixed. The tools used are a nonlinear alternative of Leray–Schauder type, Krasnosel’skii’s fixed point theorem in a cone and Schauder’s fixed point theorem. We also include examples and applications to illustrate the usefulness of the results obtained.     

Not all quadrative norms are strongly stable

A norm N on an algebra A is called quadrative if N(x²) ≤ N(x)² for all x A, and strongly stable if N(x^k) ≤ N(x)^k for all x A and all k = 2, 3, 4…. Our main purpose in this note is to show that not all quadrative norms are strongly stable.