Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

Stability and bifurcation of equilibrium solutions of reaction-diffusion equations on an infinite space interval

Under the condition that f(x, y, z, α) and its partial derivatives decay sufficiently fast as $\text{¦x¦ → ∞}$ we will study the (linear) stability and bifurcation of equilibrium solutions of the scalar problem u_t = u_xx + f(x, u, u_x, α), u_x(?∞, t) = u_x(∞, t) = 0 (1) where α is a real bifurcation parameter. After introducing appropriate function spaces X and Y the problem (1) can be rewritten $\text{d}\text{dt}\text{u = G(u, α)}$, (7) where G:X×R → Y is given by G(u, α)(x) = u″(x) + f(x, u(x), u′(x), α). It will be shown, for each (u, α)?X × R, that the Fréchet derivative G_u(u,a): X → Y is not a Fredholm operator. This difficulty is due to the fact that the domain of the space variable x, is infinite and cannot be eliminated by making another choice of X and Y. Since G_u(u, α) is not Fredholm, the hypotheses of most of the general stability and bifurcation results are not satisfied. If (u₀, α₀?S = {(u, α): G(u, α) = 0}, (i.e., (u₀,α₀) is an equilibrium solution of (7)), a necessary condition on the spectrum of G_u(u₀, α₀) for a change in the stability of points in S to occur at G_u(u₀, α₀) will be given. When this condition is met, the principle of exchange of stability which means, in a neighborhood of (u₀, α₀), that adjacent equilibrium solutions for the same α have opposite stability properties in a weakened sense will be established. Also, when G_u or its first order partial derivatives, evaluated at (u₀, α₀), are not too degenerate, the shape of S in a neighborhood of (u₀, α₀) will be described and a strenghtened form of the principle of exchange of stability will be obtained.     

Entire solutions blowing up at infinity for semilinear elliptic systems

We consider the system Δu=p(x)g(v), Δv=q(x)f(u) in $\text{R}{}^{\mathrm{N}}$, where f,g are positive and non-decreasing functions on (0,∞) satisfying the Keller–Osserman condition and we establish the existence of positive solutions that blow-up at infinity.     

Some generic properties of α-nonexpansive mappings

Let X be a Banach space, C a bounded closed subset of X, A a convex closed subset of X, $\text{E}$ a complete metric space formed by all α-nonexpansive mappings fC → A and $\text{M}$ a complete metric space formed by α-nonexpansive differentiable mappings fC → X. The following assertions are proved in this paper: (1) Properness of I ? f is a generic property in $\text{E}$ (2)the subset of $\text{E}$ formed by all α-contractive mappings is of Baire first category in $\text{E}$; and (3) for every y?X, the functional equation x ? f(x) = y has generically a finite number of solutions for f in $\text{M}$. Some applications to the fixed point theory and calculation of the topological degree are given.     

Zeros for accretive operators satisfying certain boundary conditions

Let X be a Banach space with the dual space $\text{X}{}^1$ to be uniformly convex, let D ? X be open, and let $\text{T:}\text{D}\text{?}\text{→ X}$ be strongly accretive (i.e., for some k < 1: (λ ? k)∥ u ? v∥ ? ∥(λ ? 1)(u ? v)+ T(u) ? T(v)∥ for all $\text{u, v ?}\text{D}\text{?}$ and λ > k). Suppose T is demicontinuous and strongly accretive and suppose there exists z?D satisfying: T(x) t(x ? z) for all x??D and t < 0. Then it is shown that T has a unique zero in $\text{D}\text{?}$. This result is then applied to the study of existence of zeros of accretive mappings under apparently different types of boundary conditions on T.     

Random fixed points of K-set- and pseudo-contractive random maps

Let $\text{(Ω,Σ)}$ be a measurable space, X and Y separable Banach spaces, and C a weakly compact subset of X. Let $\text{f}\text{:}\text{Ω×C→Y}$ and $\text{T}\text{:}\text{Ω×C→Y}$ be continuous random operators. Then the deterministic solvability of the equation$\text{f(ω,x)−T(ω,x)=0}\text{(ω∈Ω,x∈C)}$implies the stochastic solvability of it provided that (f−T)(ω,.) is demiclosed at zero and T(ω,C) is bounded for each $\text{ω∈Ω}$. As applications, random fixed points of various types of pseudo-contractive and k-set-contractive random operators are obtained.     

Analytic functions whose range is dense in a ball

Denote by Δ(resp. $\text{Δ}$) the open (resp. closed) unit disc in C. Let E be a closed subset of the unit circle T and let F be a relatively closed subset of T ? E of Lesbesgue measure zero. The following result is proved. Given a complex Banach space X and a bounded continuous function f:F → X, there exists an extension f? of f, bounded and continuous on $\text{}\text{?}\text{gD ? E}$, analytic on Δ and satisfying sup$\text{{6}\text{f}\text{?}\text{(z)6:zε}\text{δ}\text{?E}$. This is applied to show that for any separable complex Banach space X there exists an analytic function from Δ to X whose range is contained and dense in the unit ball of X.     

Asymmetry of twisted convolution operators

Let K be a distribution on $\text{R}$². We denote by λ(K) the twisted convolution operator f → K × f defined by the formula K × f(x, y) = ∝∝ dudvK(x ? u, y ? v) f(u, v) exp(ixv ? iyu). We show that there exists K such that the operator λ(K) is bounded on L^p(R)² for every p in (1, 2¦, but is unbounded on L^q(R)² for every q > 2.     

The asymptotic behavior of solutions of a system of reaction-diffusion equations which models the Belousov-Zhabotinskii chemical reaction

We investigate the boundary value problem $\text{?u}\text{?t}\text{=}\text{?}{}^2\text{u}\text{?x}{}^2\text{+ u(1 ? u ? rv)}$, $\text{?v}\text{?t}\text{=}\text{?}{}^2\text{v}\text{?x}{}^2\text{? buv}$, u(?∞, t) = v(∞, t) = 0, u(∞, t) = 1, and v(?∞, t) = γ ?t > 0 where r > 0, b > 0, γ > 0 and x?R. This system has been proposed by Murray as a model for the propagation of wave fronts of chemical activity in the Belousov-Zhabotinskii chemical reaction. Here u and v are proportional to the concentrations of bromous acid and bromide ion, respectively. We determine the global stability of the constant solution (u, v) ≡ (1,0). Furthermore we introduce a moving coordinate and for each fixed x?R we investigate the asymptotic behavior of u(x + ct, t) and v(x + ct, t) as t → ∞ for both large and small values of the wave speed c ? 0.     

Characterization of the closed convex hull of the range of a vector-valued measure

For a set K in a locally convex topological vector space X there exists a set T, a σ-algebra $\text{S}$ of subsets of T and a σ-additive measure m: $\text{S}$ → X such that K is the closed convex hull of the range {m(E): E ∈ $\text{S}$} of the measure m if and only if there exists a conical measure u on X so that K K_u,K_u, the set of resultants of all conical measures v on X such that v < u.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

Entrainment of frequency in evolution equations

The existence of periodic solutions near resonance is discussed using elementary methods for the evolution equation ·u = Au + ?f(t, u) when the linear problem is totally degenerate (e^2πA = I) and the period of f is entrained with ? (T = 2π(1 + ?μ)). The approach is to solve the periodicity equation u(T,p,?) = p for an element p(?) in D, the domain of A, as a perturbation from an approximate solution p₀. p₀ is a solution of the nonlinear boundary value problem 2πμAp + ∝₀^2πe^?Asf(s, e^Asp) ds = 0 obtained from the periodicity equation by dividing by ?, applying the entrainment assumption, and letting ? → 0. Once p₀ is known, the conventional inverse function theorem is applied in a slightly unconventional manner. Two particular cases where results are obtained are u_t = u_x + ?{g(u) ? h(t, x)} with g strongly monotone and

$\text{d}\text{dt}\text{v}\text{w}\text{=}\text{0}\text{d}\text{dx}\text{d}\text{dx}\text{0}\text{v}\text{w}\text{+ ?}\text{v}{}^3\text{h(t,x)}$

, where in both cases D is a certain class of 2π-periodic functions of x.     

On the exponential map of classical Lie groups and linear differential systems with periodic coefficients

Let X and Y be Banach spaces, $\text{?: X → Y}{}^1\text{and}\text{P: X → Y}$; P is said to be strongly ?-accretive if $\text{〈Px ? Py, ?(x ? y)〉 ? c ¦|x ? y¦|}{}^2$ for some c > 0 and each x,y?X. These mappings constitute a generalization simultaneously of monotone mappings ($\text{when}\text{Y = X}{}^1$) and accretive mappings (when Y = X). By applying a theorem of 1. Ekeland, it is shown that a localized class of these mappings must be surjective under appropriate geometric assumptions on $\text{Y}{}^1$ and continuity assumptions on P. The results generalize two theorems of F. E. Browder and the proofs further refine the methodology for dealing with such mappings.     

A parametrization theorem

The following result, and a closely related one, is proved: If u:X → Y is an open, perfect surjection, with X metrizable and with dim X = 0 or dim Y = 0, then there exists a perfect surjection $\text{h: Y×}\text{S}\text{→X}$ such that u ° h = π_Y (where S in the Cantor set and $\text{π : Y×}\text{S}\text{→ Y}$ is the projection). If moreover, u^-1(y) is homeomorphic to S for all y?Y, then h can be chosen to be a homeomorphism.     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

Asymptotics for the blow-up boundary solution of the logistic equation with absorption

Let $\text{Ω}$ be a smooth bounded domain in $\text{R}{}^{\mathrm{N}}$. Assume that f?0 is a C¹-function on [0,∞) such that f(u)/u is increasing on (0,+∞). Let a be a real number and let b?0, b?0 be a continuous function such that b≡0 on $\text{?Ω}$. The purpose of this Note is to establish the asymptotic behaviour of the unique positive solution of the logistic problem Δu+au=b(x)f(u) in $\text{Ω}$, subject to the singular boundary condition u(x)→+∞ as $\text{dist}\text{(x,?Ω)→0}$. Our analysis is based on the Karamata regular variation theory. To cite this article: F.-C. Cîrstea, V. R?dulescu, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

A note on similar edges and edge-unique line graphs

If G is a connected graph having no vertices of degree 2 and L(G) is its line graph, two results are proven: if there exist distinct edges e and f with L(G) ? e ? L(G) ? f then there is an automorphism of L(G) mapping e to f; if $\text{G ? u ¦ G ? v}$ for any distinct vertices u, v, then $\text{L(G) ? e ¦ L(G) ? f}$ for any distinct edges e, f.     

Compactness and collective compactness in spaces of compact operators

This is a study of compactness in (a) spaces K_b(X, Y) of compact linear operators, (b) injective tensor products $\text{X}\text{}\text{?}\text{bo}{}_{\mathrm{?}}\text{Y}$, and (c) spaces L_c(X, Y) of continuous linear operators, and its various relationships with equicontinuity and collective compactness. Among the applications is a result on factoring compact sets of compact operators compactly and uniformly through one and the same reflexive Banach space.     

Spherically symmetric solutions of a reaction-diffusion equation

Two theorems are proved for the spherically symmetric solutions of the “bistable” reaction-diffusion equation $\text{u}{}_{\mathrm{t}}\text{= Δ}{}_{\mathrm{x}}\text{u + ?(u)}$, where ? is cubic-like and x ∈ Rⁿ. The first theorem says that, for a suitable class of initial data, there are only two types of asymptotic behavior, u(x, t) tends to an equilibrium solution as t → + ∞ or u(x, t) → 1 uniformly on compact sets. The second theorem says that in the latter case, if the solution is followed out along any ray, it approaches, in shape, the one-dimensional travelling wave.