Existence and non-existence of positive solutions of the scalar field system in R n,I

Letn > 3 andΩ be either the entire spaceR ⁿ or a Euclidean ball in R ⁿ . Consider the following boundary value problem (I) $$\{ _{\Delta v - u + u^q = 0,}^{\Delta u - v + v^p = 0,} u,v > 0, x \in \Omega $$ with homogeneous Dirichlet boundary data (replaced byu, v → 0 as ¦x¦ → ∞ when Ω=R ⁿ ), where p > 1 and q > 1. In this paper, we investigate the question of existence and non-existence of solutions of (I) and prove that (I) admits a solution if and only if $$\frac{1}{{p + 1}} + \frac{1}{{q + 1}} > \frac{{n - 2}}{n}$$ . The existence on a ball and onR ⁿ are established by a variational approach and an approximation argument respectively. The Pohozaev identity is used to show non-existence onR ⁿ .     

Orthogonality and Additivity Modulo Z

Let E be a real inner product space of dimension at least 2. Suppose ? : E → ? satisfies If there exist a neighbourhood U of the origin and γ ∈ (0, 1/4) such that ?(U) ? (?γ,γ) + ?, then there exist a real constant c and a continuous linear functional g : E → ? such that Suppose Φ : E → ? satisfies If there exist a neighbourhood U of the origin and β ∈ (0, +∞) such that ¦Φ(x)¦ ≤ β?(Φ(x)) for every x ∈ U, then either Φ vanishes on E? {0} or there exist additive functions a : ? → ? and A : E → ?, a real constant c and a continuous linear functional g : E → ? such that      

Existence Results for Classes of Sublinear Semipositone Problems

We consider the semipositone problem $${\matrix {-\Delta u (x)= \lambda f (u(x))\ \ \; \ \ \ \ \ x \in \Omega \cr \qquad \qquad \qquad u(x)=0 \ \ \ \;\ \ \ \ x \in \partial \Omega \cr}}$$ where λ > 0 is a constant, Ω is a bounded region in Rⁿ with a smooth boundary, and f is a smooth function such that f ′(u) is bounded below, f (0) < 0 and \({\rm lim}_{u \rightarrow}+\infty {f(u)\over u}=0. \) We prove under some additional conditions the existence of a positive solution (1) for λ ∈ I where I is an interval close to the smallest eigenvalue of —Δ with Dirichlet boundary condition and (2) for λ large. We also prove that our solution u for λ large is such that∥u∥ ? sup_x∈Ω ¦u(x)¦ → ∞ as A → ∞. Our methods are based on sub and super solutions. In particular, we use an anti maximum principle to obtain a subsolution for our existence result for λ ∈ I.     

Ombres Convexité, régularité et sous-harmonicité

Letf:V→R be a function defined on a subsetV ofR ⁿ ×R ^d let?:x→inf{f(x t);t such that(x t)∈V} denote theshadow off and letΦ={(x t)∈V; f(x t)=?(x)} This paper deals with the characterization of some properties of ? in terms of the infinitesimal behavior off near points ζ∈Φ proving in particular a conjecture of J M Trépreau concerning the cased=1 Characterizations of this type are provided for the convexity the subharmonicity or theC ^{1 1} regularity of ? in the interior ofI={x∈ R ⁿ;εR ^d (x t)∈V} and in theC ^{1 1} case an expression forD ²? is given To some extent an answer is given to the following question: which convex function ?:I→R I interval ?R (resp which function √:I→R of classC ^{1 1}) is the shadow of aC ² functionf:I×R→R?     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

Analytic Extension of Smooth Functions

Let F be a closed proper subset of ?ⁿ and let ?* be a class of ultradifferentiable functions. We give a new proof for the following result of Schmets and Valdivia on analytic modification of smooth functions: for every function ? ∈ ?* (?ⁿ) there is ${\widetilde f} \in {\cal E}_{*}(\rm R ^{n})$ which is real analytic on ?ⁿF and such that ?^a ? ¦ _F = ?^a ? ¦ _F for any a ∈ ?₀ ⁿ. For bounded ultradifferentiable functions ? we can obtain ${\widetilde f}$ by means of a continuous linear operator.     

Homogenization of foliated annuli

Let \(\Omega = \Omega _0 \backslash \bar \Omega _1\) be a regular annulus inR ^N and \(\phi :\bar \Omega \to R\) be a regular function such that φ=0 on ?Ω₀, φ=1 on ?Ω₁ and ▽φ ≠ 0. Let K_n be the subset of functions v ε W^1,p (Ω) such that v=0 on ?Ω₀, v=1 on ?Ω₁, v=(unprescribed) constant on n given level surfaces of φ. We study the convergence of sequences of minimization problems of the type $$Inf\left\{ {\int\limits_\Omega {\frac{1}{{a_n \circ \phi }}G(x,(a_n \circ \phi )\nabla v)dx;v \in K_n } } \right\},$$ where a_n ε L^∞ (0,1) and G: (x, ζ) ε Ω × R^N → G(x, ζ εR is convex with respect to ξ and verifies some standard growth conditions.     

On functional which are orthogonally additive modulo Z

Let E be a real inner product space with dimension at least 2, D ? E, f: E → R with f(x+y)?f(x)?f(y) ∈ Z for all orthogonal x,y ∈ E, and f(D) ? (?γ,γ)+Z witn some real γ > 0. We prove that, under some additional assumptions, there are a unique linear functional A: E → R and a unique constant d ∈ R with f(x)?d∥x∥²?A(x) ∈ Z for x ∈ E. We also show some applications of this result to the determination of solutions F: E → C of the conditional equation: F(x+y) = F(x)F(y) for all orthogonal x,y ∈ E.     

On pointwise approximation of arbitrary functions by countable families of continuous functions

The following problem is considered. Given a real-valued function f defined on a topological space X, when can one find a countable familyf _n :n∈ω of continuous real-valued functions on X that approximates f on finite subsets of X? That is, for any finite set F?X and every real number ε>0 one can choosen∈ω such that ∥f(x)?f_n(x)∥<ε for everyx∈F. It will be shown that the problem has a positive solution if and only if X splits. A space X is said to split if, for any A?X, there exists a continuous mapf _A:X→R ^ω such that A=f _A ^?1 (A). Splitting spaces will be studied systematically.     

Ein zerlegungssatz für P(ϰ)

We shall prove the following partition theorems:

1. For every setS and for each cardinal ? ≥ ω, |S| ≥ ? there exists a partitionT: [S]^? → 2^? such that for every pairwise disjoint familie and everyα < 2^? there exists a set
2. Suppose ? ≥ ω, 2 ^{andS an arbitrary set, 2|S| ≤ (2?)+ω Then there exists a partitionT: P(S) → 2? such that for every pairwise disjoint family and everyα < 2? there exists a set Both theorems will give partial answers to an Erd?s problem.}

     

Laplace-Transformation nichtnegativer und vektorwertiger Maße

Calling a function f: R ₊ ^p →R with $$\sum\limits_{i = 1}^n { \sum\limits_{j = 1}^n {\alpha _i \alpha _j } f(t_i + t_j )} \geqslant 0 for all (\alpha _1 ,...,\alpha _n ) \varepsilon R^n ,$$ , (t₁,...,t_n∈(R ₊ ^p )ⁿ, n∈? positiv semidefinit, the Laplace-transformations of finite nonnegative measures on R ₊ ^p are charac terised as the continuous bounded positiv semidefinit functions. Let H be a real Hilbertspace. A σ-additive mapping \(M: \mathfrak{B}_ + ^p \to H\) is called an orthogonal measure iff 〈M(A), M(B)?=0 for A∩B=ø. Exactly those mappings Y: R ₊ ^p →H are Laplacetransformations of H-valued orthogonal measures, which are continuous and bounded and for which ?Y(s), Y(t)? is only a function of s + t. Using this result one obtains a representation theorem for continuous semi-grouphomomorphisms defined on R ₊ ^p with values in the “unit intervall” of the selfadjoint operators on H.     

A constructive description of Hölder classes on closed Jordan curves

Let Γ be a closed, Jordan, rectifiable curve, whose are length is commensurable with its subtending chord, leta ε int Γ, and let R_n(a) be the set of rational functions of degree ≤n, having a pole perhaps only at the pointa. Let Λ^α(Γ), 0 < α < 1, be the Hölder class on Γ. One constructs a system of weights γ_n(z) > 0 on Γ such that f∈Λ^α(Γ) if and only if for any nonnegative integer n there exists a function R_n, R_n ε R_n(a) such that ¦f(z) ? R_n(z)¦ ≤ c_f·γ_n(z), z ε Γ. It is proved that the weights γ_n cannot be expressed simply in terms of ρ ₁ ⁺ /n^(z) and ρ ₁ ^- /n^(z), the distances to the level lines of the moduli of the conformal mappings of ext Γ and int Γ on \(\mathbb{C}\backslash \mathbb{D}\) .     

Uniform and mean approximation by certain weighted polynomials,with applications

LetW(x):= exp(-{tiQ(x})), where, for example, Q(x) is even and convex onR, and Q(x)/logx → ∞ asx → ∞. A result of Mhaskar and Saff asserts that ifa _n =a _n (W) is the positive root of the equation $$n = ({2 \mathord{\left/ {\vphantom {2 \pi }} \right. \kern-\nulldelimiterspace} \pi })\int_0^1 {{{a_n xQ'(a_n x)} \mathord{\left/ {\vphantom {{a_n xQ'(a_n x)} {\sqrt {1 - x^2 } }}} \right. \kern-\nulldelimiterspace} {\sqrt {1 - x^2 } }}dx,}$$ then, given any polynomialP _n(x) of degree at mostn, the sup norm ofP _n(x)W(a _n x) overR is attained on [-1, 1]. In addition, any sequence of weighted polynomials {p _n (x)W(a _n x)} ₁ ^∞ that is uniformly bounded onR will converge to 0, for ¦x¦>1. In this paper we show that under certain conditions onW, a function g(x) continuous inR can be approximated in the uniform norm by such a sequence {p _n (x)W(a _n x)} ₁ ^∞ if and only if g(x)=0 for ¦x¦? 1. We also prove anL _p analogue for 0W(x)=exp(?|x| ^α ), when α >1. Further applications of our results are upper bounds for Christoffel functions, and asymptotic behavior of the largest zeros of orthogonal polynomials. A final application is an approximation theorem that will be used in a forthcoming proof of Freud's conjecture for |x| ^p exp(?|x| ^α ),α > 0,p > ?1.     

Über Deformationen von analytischen Abbildungskeimen

The notion of deformations of germs of k-analytic mappings generalizes the one of deformations of germs of k-analytic spaces. Using algebraic terms, we prove:

1. The morphism f: A→B of analytic algebras is rigid, iff it is infinitesimally rigid. Moreover, this is equivalent to Ex_A (B,B)=0. This theorem generalizes a result of SCHUSTER [11].
2. Let A be a regular analytic algebra. Then f is rigid iff there exists a rigid analytic algebra B_o such that f is equivalent to the canonic injection A→A?B_o.
3. If f is “almost everywhere” rigid or smooth, then the injection Ext _B ^l (Ω_B|A, Bⁿ)→Ex_A(B, Bⁿ) is an isomorphism.

     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

Multiobjective programming and penalty functions

This paper generalizes the penalty function method of Zang-will for scalar problems to vector problems. The vector penalty function takes the form $$g(x,\lambda ) = f(x) + \lambda ^{ - 1} P(x)e,$$ wheree ?R ^m, with each component equal to unity;f:R ⁿ →R ^m, represents them objective functions {f ⁱ} defined onX \( \subseteq \) R ⁿ; λ ∈R ¹, λ>0;P:R ⁿ →R ¹ X \( \subseteq \) Z \( \subseteq \) R ⁿ,P(x)≦0, ∨x ∈R ⁿ,P(x) = 0 ?x ∈X. The paper studies properties of {E (Z, λ _r )} for a sequence of positive {λ _r } converging to 0 in relationship toE(X), whereE(Z, λ _r ) is the efficient set ofZ with respect tog(·, λ_r) andE(X) is the efficient set ofX with respect tof. It is seen that some of Zangwill's results do not hold for the vector problem. In addition, some new results are given.     

Ideal Divisibility Monoids

Inspired by the monograph of Larsen/McCarthy, [26], in [10] and [11] the author started a series of articles concerning abstract multiplicative ideal theory along the problem lines of [26]. In this paper we turn to multiplicative lattices having the left Priifer property, that is to m-lattices satisfying the implication a¹ + … + a_n ? B ? a₁ +… + a_n ¦? B or even the multiplication property A ? B ? A ¦B, respectively. Clearly, studying such structures includes studying substructures of d-semigroups.     

Asymptotics for the minimization of a Ginzburg-Landau functional

LetΩ ? ?² be a smooth bounded simply connected domain. Consider the functional $$E_\varepsilon (u) = \frac{1}{2}\int\limits_\Omega {\left| {\nabla u} \right|^2 + \frac{1}{{4\varepsilon ^2 }}} \int\limits_\Omega {(|u|^2 - 1)^2 } $$ on the classH _g ¹ ={u εH ¹(Ω; ?);u=g on ?Ω} whereg:?Ω? → ? is a prescribed smooth map with ¦g¦=1 on ?Ω? and deg(g, ?Ω)=0. Let uu _ε be a minimizer for E_ε onH _g ¹ . We prove that u_ε → u₀ in \(C^{1,\alpha } (\bar \Omega )\) as ε → 0, where u₀ is identified. Moreover \(\left\| {u_\varepsilon - u_0 } \right\|_{L^\infty } \leqslant C\varepsilon ^2 \) .     

Critical sets in 3-space

Given a non-empty compact set C ?R ³, is C the set of critical points for some smooth proper functionf :R ³ →R ₊? In this paper we prove that the answer is “yes” for Antoine’s Necklace and most but not all tame links.