Existence of positive solutions for a general nonlinear eigenvalue problem

Let Ω R n be a bounded domain, H = L 2 (Ω), L : D(L) H → H be an unbounded linear operator, f ∈ C(■× R, R) and λ∈ R. The paper is concerned with the existence of positive solutions for the following nonlinear eigenvalue problem Lu = λf (x, u), u ∈ D(L), which is the general form of nonlinear eigenvalue problems for differential equations. We obtain the global structure of positive solutions, then we apply the results to some nonlinear eigenvalue problems for a second-order ordinary differential equation and a fourth-order beam equation, respectively. The discussion is based on the fixed point index theory in cones.     

Partial Order Embeddings with Convex Range

A careful study is made of embeddings of posets which have a convex range. We observe that such embeddings share nice properties with the homomorphisms of more restrictive categories; for example, we show that every order embedding between two lattices with convex range is a continuous lattice homomorphism. A number of posets are considered; for one of the simplest examples, we prove that every product order embedding σ : ?^? → ?^? with convex range is of the form

$$ \sigma(x)(n)=\left( (x\circ g_{\sigma})+y_{\sigma}\right)(n) ~~~~\text{if}~ n\in K_{\sigma}, $$

(1)

and σ(x)(n) = y _σ (n) otherwise, for all x ∈ ?^?, where K _σ ? ?, g _σ : K _σ → ? is a bijection and y _σ ∈ ?^?. The most complex poset examined here is the quotient of the lattice of Baire measurable functions, with codomain of the form ? ^I for some index set I, modulo equality on a comeager subset of the domain, with its ‘natural’ ordering.

     

On the average volume of sections of convex bodies

The average section functional as(K) of a star body in Rn is the average volume of its central hyperplane sections: \(as\left( k \right) = \int_{{S^{n - 1}}} {\left| {K \cap {\xi ^ \bot }} \right|} d\sigma \left( \xi \right)\). We study the question whether there exists an absolute constantC > 0 such that for every n, for every centered convex body K in R ⁿ and for every 1 ≤ k ≤ n ? 2,

$$as\left( K \right) \leqslant {C^k}{\left| K \right|^{\frac{k}{n}}}\mathop {\max }\limits_{|E \in G{r_{n - k}}} {\kern 1pt} as\left( {K \cap E} \right)$$

. We observe that the case k = 1 is equivalent to the hyperplane conjecture. We show that this inequality holds true in full generality if one replaces C by CL _K orCd_ovr(K, BP _k ⁿ ), where L _K is the isotropic constant of K and dovr(K, BP _k ⁿ ) is the outer volume ratio distance of K to the class BP _k ⁿ of generalized k-intersection bodies. We also compare as(K) to the average of as(K ∩ E) over all k-codimensional sections of K. We examine separately the dependence of the constants on the dimension when K is in some classical position. Moreover, we study the natural lower dimensional analogue of the average section functional.

     

Dynamic control for non-linear systems with delay

We consider some class of non-linear systems of the form

$\dot x = A( \cdot )x + \sum\limits_{i = 1}^l {A_i ( \cdot )x(t - \tau _i (t)) + b( \cdot )u} ,$

where A(·) ∈ ? ^{n × n} , A _i (·) ∈ ? ^{n × n} , b(·) ∈ ? ⁿ , whose coefficients are arbitrary uniformly bounded functionals.

A special type of the Lyapunov-Krasovskii functional is used to synthesize dynamic control described by the equation

$\dot u = \rho ( \cdot )u + (m( \cdot ),x),$

where ρ(·) ∈ ?¹, m(·) ∈ ? ⁿ , which makes the system globally asymptotically stable. Also, the situation is considered where the control u enters into the system not directly but through a pulse element performing an amplitude-frequency modulation.

     

Reconstructing a matrix from a partial sampling of Pareto eigenvalues

Let Λ={λ ₁,…,λ _p } be a given set of distinct real numbers. This work deals with the problem of constructing a real matrix A of order n such that each element of Λ is a Pareto eigenvalue of A, that is to say, for all k∈{1,…,p} the complementarity system

$x\geq \mathbf{0}_n,\quad Ax-\lambda_k x\geq \mathbf{0}_n,\quad \langle x, Ax-\lambda_k x\rangle = 0$

admits a nonzero solution x∈? ⁿ .

     

A discrete version of Koldobsky’s slicing inequality

Let #K be a number of integer lattice points contained in a set K. In this paper we prove that for each d ∈ N there exists a constant C(d) depending on d only, such that for any origin-symmetric convex body K ? R ^d containing d linearly independent lattice points

$$\# K \leqslant C\left( d \right)\max \left( {\# \left( {K \cap H} \right)} \right)vo{l_d}{\left( K \right)^{\frac{{d - m}}{d}}},$$

where the maximum is taken over all m-dimensional subspaces of R ^d . We also prove that C(d) can be chosen asymptotically of order O(1) ^d d ^d?m . In particular, we have order O(1) ^d for hyperplane slices. Additionally, we show that if K is an unconditional convex body then C(d) can be chosen asymptotically of order O(d) ^d?m .

     

Homoclinic solutions for a class of second order discrete Hamiltonian systems

Consider the second order discrete Hamiltonian systems Δ2u(n-1)-L(n)u(n) + ▽W (n, u(n)) = f(n),where n ∈ Z, u ∈ RN and W : Z × RN → R and f : Z → RN are not necessarily periodic in n. Under some comparatively general assumptions on L, W and f , we establish results on the existence of homoclinic orbits. The obtained results successfully generalize those for the scalar case.     

Uniqueness of a positive radially symmetric Solution of the Dirichlet problem for certain nonlinear differential equation of the second order in a ball

We consider the Dirichlet problem

$u_\Gamma = 0$

for the nonlinear differential equation

$\Delta u + \left| x \right|^m \left| u \right|^p = 0, x \in S,$

with constant m ≥ 0 and p > 1 in the unit ball S = {x ∈ R ⁿ : |x| < 1}(n ≥ 3) with the boundary Γ. We prove that with p ≤ m+n/n?2 this problem has a unique positive radially symmetric solution.

     

On the solvability of boundary value problems for nonlinear differential systems

We obtain in a sense optimal tests for the solvability of the nonlinear boundary value problem

$$\frac{{dx}}{{dt}} = f(t,x),x(a) = h(x,(b)),$$

where the function f: [a, b] × ? ⁿ → ? ⁿ belongs to the Carathéodory class and the function h: ? ⁿ → ? ⁿ is continuous.

     

Generalized <Emphasis Type="Italic">n</Emphasis>-Laplacian: boundedness of weak solutions to the Dirichlet problem with nonlinearity in the critical growth range

Let n ≥ 2 and let Ω ? ? ⁿ be an open set. We prove the boundedness of weak solutions to the problem

$$u \in W_0^1 L^\Phi \left( \Omega \right) and - div\left( {\Phi '\left( {\left| {\nabla u} \right|} \right)\frac{{\nabla u}}{{\left| {\nabla u} \right|}}} \right) + V\left( x \right)\Phi '\left( {\left| u \right|} \right)\frac{u}{{\left| u \right|}} = f\left( {x,u} \right) + \mu h\left( x \right) in \Omega ,$$

where ? is a Young function such that the space W ₀ ¹ L ^Φ(Ω) is embedded into an exponential or multiple exponential Orlicz space, the nonlinearity f(x, t) has the corresponding critical growth, V(x) is a continuous potential, h ∈ L ^Φ(Ω) is a non-trivial continuous function and µ ≥ 0 is a small parameter. We consider two classical cases: the case of Ω being an open bounded set and the case of Ω = ? ⁿ .

     

The Banach–Mazur Distance to the Cube in Low Dimensions

We show that the Banach–Mazur distance from any centrally symmetric convex body in ? ⁿ to the n-dimensional cube is at most

$\sqrt{n^2-2n+2+\frac{2}{\sqrt{n+2}-1}},$

which improves previously known estimates for “small” n≥3. (For large n, asymptotically better bounds are known; in the asymmetric case, exact bounds are known.) The proof of our estimate uses an idea of Lassak and the existence of two nearly orthogonal contact points in John’s decomposition of the identity. Our estimate on such contact points is closely connected to a well-known estimate of Gerzon on equiangular systems of lines.

     

Continuous time random walks and the Cauchy problem for the heat equation

We deal with anomalous diffusions induced by continuous time random walks - CTRW in ?ⁿ. A particle moves in ?ⁿ in such a way that the probability density function u(·, t) of finding it in region Ω of ?ⁿ is given by ∫_Ωu(x, t)dx. The dynamics of the diffusion is provided by a space time probability density J(x, t) compactly supported in {t ≥ 0}. For t large enough, u satisfies the equation

$$u\left( {x,t} \right) = \left[ {\left( {J - \delta } \right)*u} \right]\left( {x,t} \right)$$

, where δ is the Dirac delta in space-time. We give a sense to a Cauchy type problem for a given initial density distribution f. We use Banach fixed point method to solve it and prove that under parabolic rescaling of J, the equation tends weakly to the heat equation and that for particular kernels J, the solutions tend to the corresponding temperatures when the scaling parameter approaches 0.

     

Value functions for certain class of Hamilton Jacobi equations

We consider a class of Hamilton Jacobi equations (in short, HJE) of type

$ u_t + \frac{1}{2}\big(|u_{x_1}|^2+ \cdots +|u_{x_{n-1}}|^2\big) + \frac{\mathrm{e}^u}{m}|u_{x_n}|^m=0, $

in ? ⁿ ×?_?+? and m?>?1, with bounded, Lipschitz continuous initial data. We give a Hopf-Lax type representation for the value function and also characterize the set of minimizing paths. It is shown that the minimizing paths in the representation of value function need not be straight lines. Then we consider HJE with Hamiltonian decreasing in u of type

$ u_t + H_1\big(u_{x_1},\ldots,u_{x_i}\big) + \mathrm{e}^{-u}H_2\big(u_{x_{i+1}},\ldots, u_{x_n}\big)=0 $

where H ₁,H ₂ are convex, homogeneous of degree n,m?>?1 respectively and the initial data is bounded, Lipschitz continuous. We prove that there exists a unique viscosity solution for this HJE in Lipschitz continuous class. We also give a representation formula for the value function.

     

On the extremal distance between two convex bodies

We consider the following modified version of the Banach-Mazur distance of convex bodies in \(\mathbb{R}^n :d\left( {K,L} \right) = \inf \left\{ {\left| \lambda \right|:\lambda \in \mathbb{R},\tilde K \subset \tilde L \subset \lambda \tilde K} \right\}\), where the infimum is taken over all non-degenerate affine images \(\tilde K\) and \(\tilde L\) of K and L. Gordon, Litvak, Meyer and Pajor in 2004 showed that for any two convex bodies d(K,L) ≤ n, moreover, if K is a simplex and L = ?L then d(K,L) = n. The following question arises naturally: Is equality only attained when one of the sets is a simplex? Leichtweiss in 1959, and later Palmon in 1992 proved that if d(K,B ₂ ⁿ ) = n, where B ₂ ⁿ is the Euclidean ball, then K is the simplex. We prove the affirmative answer to the question in the case when one of the bodies is strictly convex or smooth, thus obtaining a generalization of the result of Leichtweiss and Palmon.     

A note on maximum-type functions

The paper studies the differential properties of functions of the form

$g(x) = \mathop {\max }\limits_{y \in Y} f(x,y),$

where x ∈ X (X is an open convex set from ? ^m ) and y ∈ Y (Y is a compact from ? ⁿ ). Apart from the conventional smoothness conditions imposed on f(x, y), the condition of the concavity of g(x) on X is also imposed.

The differentiability of function g(x) on X is proved.The results of the study facilitate the derivation of the conditions ensuring the sufficiency of Pontryagin’s maximum principle.     

Existence and multiplicity of solutions of quasilinear equations with convex or nonconvex reaction term

We give existence, nonexistence and multiplicity results of nonnegative solutions for Dirichlet problems of the form

$ - {\Delta_p}v = \lambda f(x){\left( {1 + g(v)} \right)^{p - 1}}\quad {\text{in}}\ \Omega,\quad u = 0\quad {\text{on}}\ \partial \Omega, $

where Δ _p is the p-Laplacian (p > 1), g is nondecreasing, superlinear, and possibly convex, λ > 0, and f ∈ L ¹ (Ω), f ≥ 0. New information on the extremal solutions is given. Equations with measure data are also considered.

     

Precise asymptotics for complete moment convergence in Hilbert spaces

Let {X, X _n ; n?≥?1} be a sequence of i.i.d. random variables taking values in a real separable Hilbert space \((\textbf{H},\|\cdot\|)\) with covariance operator Σ. Set \(S_n=\sum_{i=1}^nX_i,\) n?≥?1. We prove that for 1?p?r?>?1?+?p/2,

$\begin{array}{lll} &;\lim\limits_{\varepsilon\searrow0}\varepsilon^{(2r-p-2)/(2-p)}\sum\limits_{n=1}^\infty n^{r/p-2-1/p}{\mbox{\rm{\textsf{E}}}}\{\|S_n\|-\sigma\varepsilon n^{1/p}\}_+\\&;\quad\qquad\qquad\qquad=\sigma^{-(2r-2-p)/(2-p)}\frac{p(2-p)}{(r-p)(2r-p-2)}{\mbox{\rm{\textsf{E}}}}\|Y\|^{2(r-p)/(2-p)}, \end{array}$

where Y is a Gaussian random variable taking value in a real separable Hilbert space with mean zero and covariance operator Σ, and σ ² is the largest eigenvalue of Σ.

     

On Causal Invertibility with Respect to a Cone of Integral-Difference Operators in Vector Function Spaces

Let \(\mathbb{S}\) be a cone in ? ⁿ . A bounded linear operator T: L _p (? ⁿ ) → L _p (? ⁿ ) is said to be causal with respect to \(\mathbb{S}\) if the implication x(s) = 0 (s ε W ? \(\mathbb{S}\)) ? (Tx) (s) = 0 (s ε W ? \(\mathbb{S}\)) is valid for any x ε L _p (? ⁿ ) and any open subset W\(\subseteq\) ? ⁿ . The set of all causal operators is a Banach algebra. We describe the spectrum of the operator

$(Tx)(t) = \sum\limits_{n = 1}^\infty {a_n x(t - t_n )} + \int {\mathbb{S}g(s)x(t - s)ds,} \quad t \in \mathbb{R}^n ,$

in this algebra. Here x ranges in a Banach space \(\mathbb{E}\), the a _n are bounded linear operators in \(\mathbb{E}\), and the function g ranges in the set of bounded operators in \(\mathbb{E}\).

     

A Spectral Gap Estimate and Applications

We consider the Schrödinger operator

$$ \text{-} \frac{d^{2}}{d x^{2}} + V {\text{on an interval}}~~[a,b]~{\text{with Dirichlet boundary conditions}},$$

where V is bounded from below and prove a lower bound on the first eigenvalue λ ₁ in terms of sublevel estimates: if w _V (y) = |{x ∈ [a, b] : V (x) ≤ y}|, then

$$\lambda_{1} \geq \frac{1}{250} \min\limits_{y > \min V}{\left( \frac{1}{w_{V}(y)^{2}} + y\right)}.$$

The result is sharp up to a universal constant if {x ∈ [a, b] : V(x) ≤ y} is an interval for the value of y solving the minimization problem. An immediate application is as follows: let \({\Omega } \subset \mathbb {R}^{2}\) be a convex domain and let \(u:{\Omega } \rightarrow \mathbb {R}\) be the first eigenfunction of the Laplacian ? Δ on Ω with Dirichlet boundary conditions on ?Ω. We prove

$$\| u \|_{L^{\infty}({\Omega})} \lesssim \frac{1}{\text{inrad}({\Omega})} \left( \frac{\text{inrad}({\Omega})}{\text{diam}({\Omega})} \right)^{1/6} \|u\|_{L^{2}({\Omega})},$$

which answers a question of van den Berg in the special case of two dimensions.