Local bifurcation from characteristic values with finite multiplicity and its application to axisymmetric buckled states of a thin spherical shell

The purpose of this paper is to study bifurcation points of the equation T(v) = L(λ,v) + M(λ,v), (λ,v) ? Λ × D in Banach spaces, where for any fixed λ ? Λ, T, L(λ,·) are linear mappings and M(λ,·) is a nonlinear mapping of higher order, M(λ,0) = 0 for all λ ? Λ. We assume that λ is a characteristic value of the pair (T, L) such that the mapping T – L(λ ,·) is Fredholm with nullity p and index s, p > s ? 0. We shall find some sufficient conditions to show that (λ ,0) is a bifurcation point of the above equation. The results obtained will be used to consider bifurcation points of the axisymmetric buckling of a thin spherical shell subjected to a uniform compressive force consisting of a pair of coupled non-linear ordinary differential equations of second order.     

Generalized Path Spaces,II

A combination of the LIAPUNOV-SCHMIDT procedure, the implicit function theorems and the topological degree theory is used to investigate bifurcation points of equations of the form T(v) = L(λ, v) + M(λ, v), (λ, v) ? A × D?, where A is an open subset in a normed space and for every fixed λ ? A, T, L(λ ·) and M(λ ·) are mappings from the closure D? of a neighborhood D of the origin in a BANACH space X into another BANACH space Y with T(0) = L(λ, 0) = M(λ, 0) = 0. Let Λ be a characteristic value of the pair (T, L) such that T ? L( λ ,·) is a FREDHOLM mapping with nullity p and index s, p > s ≧ 0. Under suitable hypotheses on T. L and M, (λ , 0) is a bifurcation point of the above equations. This generalizes the results of [4], [6], [8], [13] and [14] etc. An application of the obtained results to the axisymmetric buckling problem of a thin spherical shell will be given.     

Asymptotical Formulas For Solutions Of Linear Differential Systems Of The First Order

In this paper a system of differential equations y′ ? A(·,λ)y = 0 is considered on the finite interval [a,b] where λ ∈ C, A(·, λ):= λ A₁+ A ₀ +λ _?1A_?1(·,λ) and A ₁,A ₀, A _{? 1} are n × n matrix-functions. The main assumptions: A ₁ is absolutely continuous on the interval [a, b], A ₀ and A _{- 1}(·,λ) are summable on the same interval when ¦λ¦ is sufficiently large; the roots φ₁(x),…,φ_n (x) of the characteristic equation det (φ E — A ₁) = 0 are different for all x ∈ [a,b] and do not vanish; there exists some unlimited set Ω ? C on which the inequalities Re(λφ₁(x)) ≤ … ≤ Re (λφ_n(x)) are fulfilled for all x ∈ [a,b] and for some numeration of the functions φ_j(x). The asymptotic formula of the exponential type for a fundamental matrix of solutions of the system is obtained for sufficiently large ¦λ¦. The remainder term of this formula has a new type dependence on properties of the coefficients A ₁ (x), A _o (x) and A _{- 1} (x).     

On the limiting behaviour of solutions to boundary integral equations associated with time harmonic wave equations for small frequencies

The treatment of boundary value problems for Helmholtz equation and for the time harmonic Maxwell's equations by boundary integral equations leads to integral equations of the second kind which are uniquely solvable for small positive frequencies λ. However, the integral equations obtained in the limiting case λ = 0 which are related to boundary value problems of potential theory in general are not uniquely solvable since the corresponding boundary value problems are not. By first considering in a general setting of a Banach space X the limiting behaviour of solutions ?_λ to the equation ?_λ – K λ ? λ = fλ as λ → 0 where {K_λ: X → X, λ ∈ (0,α)}, α > 0, denotes a family of compact linear operators such that I - K_λ (I identity) is bijective for λ∈(0,α) whilst I - K₀ is not and ‖ K_λ – K₀‖ →, 0, ‖f_λ – f0‖ → 0, λ → 0, and then applying the results to the boundary integral operators, the limiting behaviour of the integral equations is considered. Thus, the results obtained by Mac Camey for the Helmholtz equation are extended to the case of non-connected boundaries and Werner's results on the integral equations for the Maxwell's equations are extended to the case of multiply connected boundaries.     

The Stokes-system in exterior domains:L p -estimates for small values of a resolvent parameter

We consider the resolvent problem for the Stokes-system in an exterior domain: $$- v \cdot \Delta u + \lambda \cdot u + \nabla \pi = f,divu = 0in\mathbb{R}^3 \backslash \bar \Omega ,$$ , with υε]0, ∞[, λε?] ?∞, 0], Ω bounded domain in ?³, withC ²-boundary ?Ω. In addition, Dirichlet boundary conditionsu¦?Ω=0 are prescribed. Using the method of integral equations, we estimate solutions (u,π) inL ^p -norms, for small values of ¦λ¦.     

Ramanujan graphs

A large family of explicitk-regular Cayley graphsX is presented. These graphs satisfy a number of extremal combinatorial properties.

1. For eigenvaluesλ ofX eitherλ=±k or ¦λ¦≦2 √k?1. This property is optimal and leads to the best known explicit expander graphs.
2. The girth ofX is asymptotically ≧4/3 log _k?1 ¦X¦ which gives larger girth than was previously known by explicit or non-explicit constructions.

     

Generalized Hopf bifurcation in Hilbert space

We consider a family of semilinear evolution equations in Hilbert space of the form with, in general, unbounded operators *A(λ), F(λ·) depending analytically on a real parameter λ. We assume that the origin is a stationary solution, i.e. F(λ,0) = 0, for all λ ε R and that the linearization (with respect to u) at the origin is given by du/dt + A(λ)u = 0. Our essential assumption is the following: A(λ) possesses one pair of simple complex conjugate eigenvalues μ(λ) = Re μ(λ) ± i Im μ(λ) such that Im μ(0) > 0 and for some m ε N or If m = 1 the curves of eigenvalues μ(λ) cross the imaginary axis transversally at ±i Im μ(0). In this case a unique branch of periodic solutions emanates from the origin at λ = 0 which is commonly called Hopf bifurcation. If μ(λ) and the imaginary axis are no longer transversal, i.e. m > 1, we call a bifurcation of periodic solutions, if it occurs, a generalized Hopf bifurcation. It is remarkable that up to m such branches may exist. Our approach gives the number of bifurcating solutions, their direction of bifurcation, and its asymptotic expansion. We regain the results of D. Flockerzi who established them in a completely different way for ordinary differential equations.     

Degenerate bifurcation at simple eigenvalues and stability of bifurcating solutions

Let X and Y be Banach spaces, Y ?X, and let V be a neighborhood of zero in Y. We consider the equation G(λ, u) ≡ A(λ)u + F(λ, u) = 0, where G: [?d₁, d₁] × V → X, G(λ, 0) = 0, and A(λ) is the Fréchet derivative of G with respect to u at (λ, 0). Furthermore, we assume that G is analytic with respect to λ and u. Bifurcation at a simple eigenvalue means that zero is a simple eigenvalue of A (0). Let μ(λ) be the simple eigenvalue of the perturbed operator A(λ) for λ near zero. Let $\text{d}{}^{\mathrm{j}}\text{μ(0)}\text{dλ}{}^{\mathrm{j}}\text{= 0, j = 0,…, m ? 1,}\text{d}{}^{\mathrm{m}}\text{μ(0)}\text{dλ}{}^{\mathrm{m}}\text{A}{}_{\mathrm{m}}\text{≠ 0,}\text{or}\text{μ(λ) ≡ 0}$. Under the nondegeneracy condition m = 1 the existence of a unique curve of solutions intersecting the trivial solution (λ, 0) at (0, 0) is well known. Furthermore the “Principle of Exchange of Stability” was established in this case. We show that in the degenerate case (m > 1) up to m bifurcating curves of solutions can exist and that at least one nontrivial curve exists if m is odd. Our approach supplies all curves of solutions near (0, 0) together with their direction of bifurcation and their linearized stability. The decisive fact is that A_m is also the leading term of the bifurcation equation. A consequence is a “Generalized Principle of Exchange of Stability”, which means that adjacent solutions for the same λ have opposite stability properties in a weakened sense. For practical use we give a criterion for asymptotic stability or instability which follows from the construction of the curves of solutions themselves.     

Author index to volume 20

This paper considers the conjecture that given a real nonsingular matrix A, there exist a real diagonal matrix Λ with $\text{¦λ}{}_{\mathrm{ii}}\text{λ = 1}$ and a permutation matrix P such that (ΛPA) is positive stable. The conjecture is shown to be true for matrices of order 3 or less and may not be true for higher order matrices. A counterexample is presented in terms of a matrix of order 65. In showing this, an interesting matrix M_l of order 2^l = 64, which satisfies the matrix equation 2^l-1(M_l + M^T_l), has been used. The stability analysis is done by first decomposing the nonsingular matrix into its polar form. Some interesting results are presented in the study of eigenvalues of a product of orthogonal matrices. A simple function is derived in terms of these orthogonal matrices, which traces a hysteresis loop.     

Random fields associated with multiple points of the Brownian motion

Let X_t be the Brownian motion in $\text{R}$^d. The random set Γ = {(t₁,…, t_n, z): X_tl = ··· = X_tn = z} in $\text{R}$^{d + n} is empty a.s. except in the following cases: (a) n = 1, d = 1, 2,…; (b) d = 2, n = 2, 3,…; (c) d = 3, n = 2. In each of these cases, a family of random measures M_λ concentrated on Γ is constructed (λ takes values in a certain class of measures on $\text{R}$^d). Measures M_λ characterize the time-space location of self-intersections for Brownian paths. If n = d = 1, then M_λ(dt, dz) = λ(dz) N_z(dt) where N₂ is the local time at z. In the case n = 2, the set Γ can be identified with the set of Brownian loops. The measure M_λ “explodes” on the diagonal {t₁ = t₂} and, to study small loops, a random distribution which regularizes M_λ is constructed.     

Outer Γ-Convexity in Vector Spaces

A subset S of some vector space X is said to be outer Γ-convex w.r.t. some given balanced subset Γ ? X if for all x ₀, x ₁ ? S there exists a closed subset Λ ? [0,1] such that {x _λ | λ ? Λ} ? S and [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ, where x _λ: = (1 ? λ)x ₀ + λ x ₁. A real-valued function f:D → ? defined on some convex D ? X is called outer Γ-convex if for all x ₀, x ₁ ? D there exists a closed subset Λ ? [0,1] such that [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ and f(x _λ) ≤ (1 ? λ)f(x ₀) + λ f(x ₁) holds for all λ ? Λ. Outer Γ-convex functions possess some similar optimization properties as these of convex functions, e.g., lower level sets of outer Γ-convex functions are outer Γ-convex and Γ-local minimizers are global minimizers. Some properties of outer Γ-convex sets and functions are presented, among others a simplex property of outer Γ-convex sets, which is applied for establishing a separation theorem and for proving the existence of modified subgradients of outer Γ-convex functions.     

On a new class of nonlinear wave equations

In this paper we prove the existence and uniqueness of regular solutions for the Cauchy problem for the evolution equation $\text{u″ + A}{}^2\text{u + (α + M(¦A}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u¦}{}^2\text{) Au = 0}$, suggested by the study of beams and plates. We represent by A a linear operator of a Hilbert space H with norm ∥, α is a real number, and M(λ) > 0 a real function, for λ ? 0.     

On multicyclic operators and the Vasjunin-Nikol'ski206-1206-1206-1discotheca

If A is a bounded linear multicyclic operator acting on a complex Banach spaceX, then thedisc of A is defined by: disc A = sup(R ∈ Cyc A) min{dimR′: R′ ? R, R′ ∈ Cyc A}, where Cyc A denotes the family of all finite dimensional subspacesR ofX such that X = (R+AR+A ² R+?)^?. It is shown that if the set {λ ∈ ?: dim ker (λ-A)^* ≥ n} has nonempty interior (in particular, if A is a Fredholm operator of index -n), then disc A ≥ n+1. This result affirmatively answers a question of V.I. Vasjunin and N.K. Nikol'skiï. In the case whenX is a Hilbert space, it is shown that the set of all operators A such that A is n-multicyclic, but disc A =∞, is dense in the set of all n-multicyclic operators. If M_λ = "multiplication by λ" acting on the disk algebra (and many other spaces of continuous and/or analytic functions), then M_λ is cyclic, but disc M_λ = ∞. However, the analogous result is false if the disk algebra is replaced by the algebra of functions analytic on the disk and smooth on the boundary, or algebras of Lipschitz functions. If T is a multicyclic unicellular operator, then T is cyclic and disc T=1.     

A method of constructing integrable linear equations and its application to Hill's equation

Starting with a given equation of the form $$\ddot x + [\lambda + \varepsilon f(t)] x = 0$$ , where λ > 0 and ? ? l is a small parameter [heref(t) may be periodic, and so Hill's equation is included], we construct an equation of the form y + [λ + ?f (t) + ?² _g (t)]y = 0, integrable by quadratures, close in a certain sense to the original equation. For x₀ = y₀ and x ₀ ^′ = y ₀ ^′ , an upper bound is obtained for ¦y—x¦ on an interval of length Δt.     

Convergence of the Kato approximants for evolution equations involving functional perturbations

The existence of a unique strong solution of the nonlinear abstract functional differential equation $\text{u′(t) + A(t)u(t) = F(t,u}{}_{\mathrm{t}}\text{), u}{}_0\text{= φεC}{}^1\text{(¦?r,0¦,X),tε¦0, T¦}$, (E) is established. X is a Banach space with uniformly convex dual space and, for $\text{t? ¦0, T¦, A(t)}$ is m-accretive and satisfies a time dependence condition suitable for applications to partial differential equations. The function F satisfies a Lipschitz condition. The novelty of the paper is that the solution u(t) of (E) is shown to be the uniform limit (as n → ∞) of the sequence u_n(t), where the functions u_n(t) are continuously differentiate solutions of approximating equations involving the Yosida approximants. Thus, a straightforward approximation scheme is now available for such equations, in parallel with the approach involving the use of nonlinear evolution operator theory.     

Bifurcation phenomena for nonlinear superdiffusive Neumann equations of logistic type

We consider a nonlinear Neumann logistic equation driven by the p-Laplacian with a general Carathéodory superdiffusive reaction. We are looking for positive solutions of such problems. Using minimax methods from critical point theory together with suitable truncation techniques, we show that the equation exhibits a bifurcation phenomenon with respect to the parameter λ > 0. Namely, we show that there is a λ_* > 0 such that for λ < λ_*, the problem has no positive solution; for λ = λ_*, it has at least one positive solution; and for λ > λ_*, it has at least two positive solutions.     

Nonlinear eigenvalue problems with positively convex operators

We consider the equation u = λAu (λ > 0), where A is a forced isotone positively convex operator in a partially ordered normed space with a complete positive cone K. Let Λ be the set of positive λ for which the equation has a solution u?K, and let Λ₀ be the set of positive λ for which a positive solution—necessarily the minimum one—can be obtained by an iteration u_n = λAu_n?1, u₀ = 0. We show that if K is normal, and if Λ is nonempty, then Λ₀ is nonempty, and each set Λ₀, Λ is an interval with $\text{inf}\text{(Λ}{}_0\text{) =}\text{inf}\text{(Λ) = 0}\text{and sup}\text{(Λ}{}_0\text{) =}\text{sup}\text{(Λ) (= λ1,}\text{say}\text{)}$; but we may have λ1 ? Λ₀ and λ1 ? Λ. Furthermore, if A is bounded on the intersection of K with a neighborhood of 0, then Λ₀ is nonempty. Let u⁰(λ) = lim_n→∞(λA)ⁿ(0) be the minimum positive fixed point corresponding to λ ? Λ₀. Then u⁰(λ) is a continuous isotone convex function of λ on Λ₀.     

Ranges of certain functionals in classes of regular functions

LetP _κ,n (λ,β) be the class of functions \(g(z) = 1 + \sum\nolimits_{v = n}^\infty {c_\gamma z^v }\) , regular in ¦z¦<1 and satisfying the condition $$\int_0^{2\pi } {\left| {\operatorname{Re} \left[ {e^{i\lambda } g(z) - \beta \cos \lambda } \right]} \right|} /\left( {1 - \beta } \right)\cos \lambda \left| {d\theta \leqslant \kappa \pi ,} \right.z = re^{i\theta } ,$$ , 0 < r < 1 (κ?2,n?1, 0?Β<1, -π<λ<π/2;M _κ,n (λ,β,α),n?2, is the class of functions \(f(z) = z + \sum\nolimits_{v = n}^\infty {a_v z^v }\) , regular in¦z¦<1 and such thatF _α(z)∈P _κ,n?1(λ,β), where \(F_\alpha (z) = (1 - \alpha )\frac{{zf'(z)}}{{f(z)}} + \alpha (1 + \frac{{zf'(z)}}{{f'(z)}})\) (0?α?1). Onr considers the problem regarding the range of the system {g ^(v?1)(z_?)/(v?1)!}, ?=1,2,...,m,v=1,2,...,N _?, on the classP _κ,1(λ,β). On the classesP _κ,n (λ,β),M _κ,n (λ,β,α) one finds the ranges of C_v, v?n, a_m, n?m?2n-2, and ofg(?),F _?(?), 0<¦ξ¦<1, ξ is fixed.     

Rate of stability of solutions of matrix polynomial and quadratic equations

In this paper the rate of stability of solutions of matrix polynomial equations of the typeA ₀+A ₁ X+A ₂ X ²+...+A _m X ^m =0 is studied. Particular attention is given to the case where the matrix polynomialL(λ):=A ₀+A ₁ λ+A ₂ λ ²+...+A _m λ ^m is weakly hyperbolic, i.e., for every non-zero vectorx the scalar polynomial 〈L(λ)x, x〉 has only real roots. Also the rate of stability of solutions of matrix quadratic equations of the typeXBX+XA-DX-C=0 is studied. Here the special case that is of interest to continuous-time optimal control theory, that is, the case whereB=B ^* is positive semidefinite andC=C ^*,A=?D ^*, is discussed in detail. The analogous theory for the discrete-time optimal control leads to the equation $$X = A^* XA + Q - (B^* XA)^* (R + B^* XB)^{ - 1} B^* XA,$$ and the rate of stability of solutions of this equation is also studied. Most of the problems are discussed in both real and complex settings.     

Nontrivial expansions of zero and absolutely representing systems

В статье дается описа ние общего вида абсол ютно сходящегося в локаль но выпуклом пространствеH разлож ения нуля по системе ?_Λ:={e(λ_k)} _k=1 ^∞ , где ?λ∈CMe(λ) = λe(λ)M-линейный непрерывны й оператор вH иλ _k ∈C. При дополнительных пред положениях выясняет ся связь между наличием вH такого разложения нуля по системе ?_Λ и тем, что ?_Λ я вляется абсолютно представл яющей системой вH.