Stability of a Cubically Convergent Method for Generalized Equations

In Geoffroy et al, Acceleration of convergence in Dontchev's iterative method for solving variational inclusions Serdica Math. J. 29 (2003), pp. 45–54] we showed the convergence of a cubic method for solving generalized equations of the form 0 ∈ f(x) +- G(x) where f is a function and G stands for a set-valued map. We investigate here the stability of such a method with respect to some perturbations. More precisely, we consider the perturbed equation y ∈ f(x) +- G(x) and we show that the pseudo-Lipschitzness of the map (f +- G)⁻¹ is closely tied to the uniformity of our method in the sense that the attraction region does not depend on small perturbations of the parameter y. Finally, we provide an enhanced version of the convergence theorem established by Geoffroy, et al.     

Extreme Jensen measures

Let Ω be an open subset of R ^d , d≥2, and let x∈Ω. A Jensen measure for x on Ω is a Borel probability measure μ, supported on a compact subset of Ω, such that ∫u  dμ≤u(x) for every superharmonic function u on Ω. Denote by J _x (Ω) the family of Jensen measures for x on Ω. We present two characterizations of ext(J _x (Ω)), the set of extreme elements of J _x (Ω). The first is in terms of finely harmonic measures, and the second as limits of harmonic measures on decreasing sequences of domains. This allows us to relax the local boundedness condition in a previous result of B. Cole and T. Ransford, Jensen measures and harmonic measures, J. Reine Angew. Math. 541 (2001), 29–53. As an application, we give an improvement of a result by Khabibullin on the question of whether, given a complex sequence {α _n } _n=1 ^∞ and a continuous function , there exists an entire function f≢0 satisfying f(α _n )=0 for all n, and |f(z)|≤M(z) for all z∈C.     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

Sobolev functions whose inner trace at the boundary is zero

Let Ω⊂R ⁿ be an arbitrary open set. In this paper it is shown that if a Sobolev functionf∈W ^1,p (Ω) possesses a zero trace (in the sense of Lebesgue points) on ϖΩ, thenf is weakly zero on ϖΩ in the sense thatf∈W ₀ ^1,p (Ω).     

Harnack inequalities, maximum and comparison principles, and regularity of positive solutions of m-laplace equations

We consider the Dirichlet problem for positive solutions of the equation −Δ_m (u) = f(u) in a bounded smooth domain Ω, with f positive and locally Lipschitz continuous. We prove a Harnack type inequality for the solutions of the linearized operator, a Harnack type comparison inequality for the solutions, and exploit them to prove a Strong Comparison Principle for solutions of the equation, as well as a Strong Maximum Principle for the solutions of the linearized operator. We then apply these results, together with monotonicity results recently obtained by the authors, to get regularity results for the solutions. In particular we prove that in convex and symmetric domains, the only point where the gradient of a solution u vanishes is the center of symmetry (i.e. Z≡{x∈ Ω ∨ D(u)(x) = 0 = {0} assuming that 0 is the center of symmetry). This is crucial in the study of m-Laplace equations, since Z is exactly the set of points where the m-Laplace operator is degenerate elliptic. As a corollary u ∈ C²(Ω∖{0}). Supported by MURST, Project “Metodi Variazionali ed Equazioni Differenziali Non Lineari.” Mathematics Subject Classification (1991) 35B05, 35B65, 35J70     

Second-Order Optimality Conditions for Constrained Domain Optimization

This paper develops boundary integral representation formulas for the second variations of cost functionals for elliptic domain optimization problems. From the collection of all Lipschitz domains Ω which satisfy a constraint ∫ _Ω g(x) dx=1, a domain is sought which maximizes either , fixed x ₀∈Ω, or ℱ(Ω)=∫ _Ω F(x,u(x)) dx, where u solves the Dirichlet problem Δu(x)=−f(x), x∈Ω, u(x)=0, x∈∂Ω. Necessary and sufficient conditions for local optimality are presented in terms of the first and second variations of the cost functionals and ℱ. The second variations are computed with respect to domain variations which preserve the constraint. After first summarizing known facts about the first variations of u and the cost functionals, a series of formulas relating various second variations of these quantities are derived. Calculating the second variations depends on finding first variations of solutions u when the data f are permitted to depend on the domain Ω.     

A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

A descent method for submodular function minimization

We show a descent method for submodular function minimization based on an oracle for membership in base polyhedra. We assume that for any submodular function f: ?→R on a distributive lattice ?⊆2 ^V with ?,V∈? and f(?)=0 and for any vector x∈R ^V where V is a finite nonempty set, the membership oracle answers whether x belongs to the base polyhedron associated with f and that if the answer is NO, it also gives us a set Z∈? such that x(Z)>f(Z). Given a submodular function f, by invoking the membership oracle O(|V|²) times, the descent method finds a sequence of subsets Z ₁,Z ₂,···,Z _k of V such that f(Z ₁)>f(Z ₂)>···>f(Z _k )=min{f(Y) | Y∈?}, where k is O(|V|²). The method furnishes an alternative framework for submodular function minimization if combined with possible efficient membership algorithms. Received: September 9, 2001 / Accepted: October 15, 2001?Published online December 6, 2001     

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.     

On a method for interpolating functions on chaotic nets

Supposem, n ∈ℕ,m≡n (mod 2),K(x)=|x| ^m form odd,K(x)=|x| ^m In |x| form even (x∈ℝ ⁿ ),P is the set of real polynomials inn variables of total degree ≤m/2, andx ₁,...,x _N ∈ℝ ⁿ . We construct a function of the form

Explosive solutions of elliptic equations with absorption and nonlinear gradient term

Letf be a non-decreasing C¹-function such that andF(t)/f ² a(t)→ 0 ast → ∞, whereF(t)=∫ ₀ ^t f(s) ds anda ∈ (0, 2]. We prove the existence of positive large solutions to the equationΔu +q(x)|Δu| ^a =p(x)f(u) in a smooth bounded domain Ω ⊂R^N, provided thatp, q are non-negative continuous functions so that any zero ofp is surrounded by a surface strictly included in Ω on whichp is positive. Under additional hypotheses onp we deduce the existence of solutions if Ω is unbounded.     

Conjugation of injections by permutations

Let Ω be a countably infinite set, Inj(Ω) the monoid of all injective endomaps of Ω, and Sym(Ω) the group of all permutations of Ω. Also, let f,g,h∈Inj(Ω) be any three maps, each having at least one infinite cycle. (For instance, this holds if f,g,h∈Inj(Ω)∖Sym(Ω).) We show that there are permutations a,b∈Sym(Ω) such that h=afa ⁻¹ bgb ⁻¹ if and only if |Ω∖(Ω)f|+|Ω∖(Ω)g|=|Ω∖(Ω)h|. We also prove a generalization of this statement that holds for infinite sets Ω that are not necessarily countable.     

On convergence of gradient-dependent integrands

We study convergence properties of {υ(∇u _k )}k∈ℕ if υ ∈ C(ℝ ^m×m ), |υ(s)| ⩽ C(1+|s| ^p ), 1 < p < + ∞, has a finite quasiconvex envelope, u _k → u weakly in W ^1,p (Ω; ℝ ^m ) and for some g ∈ C(Ω) it holds that ∫_Ω g(x)υ(∇u _k (x))dx → ∫_Ω g(x)Qυ(∇u(x))dx as k → ∞. In particular, we give necessary and sufficient conditions for L ¹-weak convergence of {det ∇u _k } _k∈ℕ to det ∇u if m = n = p. Dedicated to Jiří V. Outrata on the occasion of his 60th birthday This work was supported by the grants IAA 1075402 (GA AV ČR) and VZ6840770021 (MŠMT ČR).     

Very weak solutions to elliptic equations with nonlinear Neumann boundary conditions

Consider the equation −Δu = 0 in a bounded smooth domain , complemented by the nonlinear Neumann boundary condition ∂_ν u = f(x, u) − u on ∂Ω. We show that any very weak solution of this problem belongs to L ^∞(Ω) provided f satisfies the growth condition |f(x, s)| ≤ C(1 + |s| ^p ) for some p ∈ (1, p*), where . If, in addition, f(x, s) ≥ −C + λs for some λ > 1, then all positive very weak solutions are uniformly a priori bounded. We also show by means of examples that p* is a sharp critical exponent. In particular, using variational methods we prove the following multiplicity result: if N ∈ {3, 4} and f(x, s) =  s ^p then there exists a domain Ω and such that our problem possesses at least two positive, unbounded, very weak solutions blowing up at a prescribed point of ∂Ω provided . Our regularity results and a priori bounds for positive very weak solutions remain true if the right-hand side in the differential equation is of the form h(x, u) with h satisfying suitable growth conditions.     

Strong Cesàro summability of double Fourier integrals

We prove the following theorem. Assume f ∈ L ^∞(R ²) with bounded support. If f is continuous at some point (x ₁,x ₂) ∈ R ², then the double Fourier integral of f is strongly q-Cesàro summable at (x ₁,x ₂) to the function value f(x ₁,x ₂) for every 0 < q < ∞. Furthermore, if f is continuous on some open subset of R ², then the strong q-Cesàro summability of the double Fourier integral of f is locally uniform on . Research partially supported by the Australian Research Council and the Hungarian National Foundation for Scientific Research under Grant T 046 192.     

On the smoothness of solutions of a class of regular equations in a strip

The paper considers a class of regular, hypoelliptic in x ₁, two-dimensional operators P(D) = P(D ₁,D ₂) in rather wide strip Ω _H = {x = (x ₁; x ₂) ∈ $ \mathbb{E} $ \mathbb{E} ², |x ₁| < H, x ₂ ∈ $ \mathbb{E} $ \mathbb{E} ¹}. It is proved the infinite differentiability in Ω _H of those generalized solutions of the equation P(D) _u = 0, for which D ₂ ^j u ∈ L ₂(Ω _H ), j = 0, …, ord _x2 P.     

Regularity of Poisson equation in some logarithmic space

In this note, the regularity of Poisson equation -△u = f with f lying in logarithmic function space Lp(LogL)a(Ω)(1＜p ＜∞, a ∈ R) is studied. The result of the note generalizes the W2,p estimate of Poisson equation in Lp(Ω).     

Some remarks on the identity between a variational integral and its relaxed functional

Summary Letf: (x, z)∈R ⁿ×Rⁿ→f(x, z)∈[0, +∞] be measurable inx and convex inz. It is proved, by an example, that even iff verifies a condition as|z| ^p≤f(x, z)≤Λ(a(x)+|z|^q) with 1<p<q,a∈L _loc ^s (R ⁿ),s>1, the functional that isL ¹(Ω)-lower semicontinuous onW ^1,1(Ω), does not agree onW ^1,1(Ω) with its relaxed functional in the topologyL ¹(Ω) given by inf

---

Riassunto Siaf: (x, z)∈R ⁿ×Rⁿ→f(x, z)∈[0, +∞] misurabile inx e convessa inz. Si mostra con un esempio che anche sef verifica una condizione del tipo|z| ^p≤f(x, z)≤Λ(a(x)+|z|^q) con 1<p<q,a∈L _loc ^s (R ⁿ),s>1, il funzionale , che èL ¹(Ω)-semicontinuo inferiormente suW ^1,1(Ω), non coincide suW ^1,1(Ω) con il suo funzionale rilassato nella topologiaL ¹(Ω) definito da inf

     

Non-wandering sets of the powers of maps of a tree

Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( fⁿ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( fⁿ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f^k) = Ω(f^kn) for each continuous map f of T.     

Crooked binomials

A function f : GF(2 ^r ) → GF(2 ^r ) is called crooked if the sets {f(x) + f(x + a)|x ∈ GF(2 ^r )} is an affine hyperplane for any nonzero a ∈ GF(2 ^r ). We prove that a crooked binomial function f(x) = x ^d + ux ^e defined on GF(2 ^r ) satisfies that both exponents d, e have 2-weights at most 2.