Remarks on extremal solutions of differential equations with advanced argument

We show the existence of absolutely continuous extremal solutions to the problemx′(t)=f(t, x)h(t)))+g(t)),x(0)=x ₀, whereh is an arbitrary continuous deviated argument. Conditions for the uniqueness of solutions are given. Research partialy supported by grant UG BW 5100 - 5 - 0143 - 4     

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.     

A result of Ambrosetti–Prodi type for first-order ODEs with cubic non-linearities. Part I

In this paper, we prove a result of Ambrosetti–Prodi type for the problem x′=f(t,x)+λx, where f(t,x) is T-periodic in t, f(t,0)≡0 and f(t,x) has “cubic nonlinearities”. Received: February 4, 2000?Published online: April 14, 2003 RID="*" ID="*"This paper was partially supported by CDCHT, Universidad de los Andes.     

A result of Ambrosetti–Prodi type for first-order ODEs with cubic non-linearities. Part II

In this paper we study the scalar equation x′=f(t,x), where f(t,x) has cubic non-linearities in x and we prove that this equation has at most three bounded separate solutions. We say that λ∈ℝ is a critical value of the equation x′=f(t,x)+λx if this equation has a degenerate bounded solution and we exhibit two classes of functions f such that the above equation has a unique critical value. Received: February 4, 2000; in final form: March 19, 2002?Published online: April 14, 2003 RID="*" ID="*"This paper was partially supported by CDCHT, Universidad de los Andes.     

Dynamical Systems Induced by Continuous Time Difference Equations and Long-time Behavior of Solutions

The paper considers the continuous time difference equation x(t + 1) = f(x(t)), t?R ⁺ (?) with f being a continuous interval map. Although the long-time behavior of continuous solutions of Eq. (?) has been extensively described under certain added conditions, there are a number of relatively simple and yet pivotal results for Eq. (?) with no restrictions on f , that were not published. The paper is to compensate for this gap. Herein, properties of the solutions are derived from that of the ω -limit sets of trajectories of the dynamical system induced by Eq. (?) . In particular, if the ω -limit set corresponding a solution x(t) is a cycle or the closure of an almost periodic trajectory, x(t) tends (in the Hausdorff metric for graphs) to a certain upper semicontinuous function.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

Frequency modules and nonexistence of quasi-periodic solutions of nonlinear evolution equations

This paper gives lower estimates for the frequency modules of almost periodic solutions to equations of the form , where A generates a strongly continuous semigroup in a Banach space , F(t,x) is 2π-periodic in t and continuous in (t,x), and f is almost periodic. We show that the frequency module ℳ(u) of any almost periodic mild solution u of (*) and the frequency module ℳ(f) of f satisfy the estimate e ^{2π iℳ(f)}⊂e ^{2π iℳ(u)}. If F is independent of t, then the estimate can be improved: ℳ(f)⊂ℳ(u). Applications to the nonexistence of quasi-periodic solutions are also given.     

Periodic solutions for some second order differential equations with singularity

In this paper, we will prove the existence of infinitely many harmonic and subharmonic solutions for the second order differential equation ẍ + g(x) = f(t, x) using the phase plane analysis methods and Poincaré–Birkhoff Theorem, where the nonlinear restoring field g exhibits superlinear conditions near the infinity and strong singularity at the origin, and f(t, x) = a(t)x ^γ + b(t, x) where 0 ≤ γ ≤ 1 and b(t, x) is bounded. This project was supported by the Program for New Century Excellent Talents of Ministry of Education of China and the National Natural Science Foundation of China (Grant No. 10671020 and 10301006).     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.     

Periodic solutions for some second order differential equations with singularity

In this paper, we will prove the existence of infinitely many harmonic and subharmonic solutions for the second order differential equation ẍ + g(x) = f(t, x) using the phase plane analysis methods and Poincaré–Birkhoff Theorem, where the nonlinear restoring field g exhibits superlinear conditions near the infinity and strong singularity at the origin, and f(t, x) = a(t)x ^γ + b(t, x) where 0 ≤ γ ≤ 1 and b(t, x) is bounded.     

The period function of a delay differential equation and an application

We consider the delay differential equation [(x)\dot](t) = - mx(t) + f(x(t - t))\dot x(t) = - \mu x(t) + f(x(t - \tau )), where μ, τ are positive parameters and f is a strictly monotone, nonlinear C ¹-function satisfying f(0) = 0 and some convexity properties. It is well known that for prescribed oscillation frequencies (characterized by the values of a discrete Lyapunov functional) there exists τ* > 0 such that for every τ > τ* there is a unique periodic solution. The period function is the minimal period of the unique periodic solution as a function of τ > τ*. First we show that it is a monotone nondecreasing Lipschitz continuous function of τ with Lipschitz constant 2. As an application of our theorem we give a new proof of some recent results of Yi, Chen and Wu [14] about uniqueness and existence of periodic solutions of a system of delay differential equations.     

On the Existence of Periodic Solutions of Nonlinear Difference Equations

We obtain new sufficient conditions for the existence and uniqueness of an N-periodic solution (N is a positive integer) of a nonlinear difference equation with continuous argument of the form x(t + 1) = f(x(t)) and investigate the properties of this solution.     

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.     

A global volume lemma and applications

Letf ^t be aC ² Axiom A dynamical system on a compact manifold satisfying the transversality condition. We prove that ifB _x (ε,t)=[y: dist (f ^s x,f ^s y)≤ε for all 0≤s≤t], then volB _x (ε,t) has the order exp(∫ ₀ ^t φ (f ^s x)ds) in the continuous time case and exp (Σ _s ^t−1 φ (f ^s x)) in the discrete time case, whereφ is a Holder continuous extension from basic hyperbolic sets of the negative of the differential expansion coefficient in the unstable direction. An application to the theory of large deviations is given. Partially supported by US-Israel BSF. Partially supported by a Darpa grant.     

On the structure of the solution set of a third kind boundary value problem

We show that given any closed subset C of a real Banach space E, there is a continuous function f(t, x) which is Lipschitz continuous in its second variable such that the solution set of the corresponding third kind boundary value problem is homeomorphic to C (Theorem 1.1). In the special problem we give the infimum of Lipschitz constants L_f of such functions f(t, x) (Theorem 1.3).     

Generalized Feynman–Kac Semigroups,Associated Quadratic Forms and Asymptotic Properties

In this paper, we study the Feynman–Kac semigroup T _t f(x)=E _x[f(X _t)exp(N _t)],where X _t is a symmetric Levy process and N _t is a continuous additive functional of zero energy which is not necessarily of bounded variation. We identify the corresponding quadratic form and obtain large time asymptotics of the semigroup. The Dirichlet form theory plays an important role in the whole paper.     

Existence of unique solutions for perturbed autonomous differential equations

We consider the existence of unique absolutely continuous solutionsfor x' = p(t)f(x) + p(t)h(t), t 0, x(0) = 0, where p, f, andh are positive almost everywhere, but none of them needs becontinuous or monotone. Moreover, p and f can be unbounded aroundzero. Our uniqueness results are not based on assumptions onthe differences f(x) – f(y), as it is usual in most uniquenessresults, and they are new even when p, f, and h are continuous.     

Multiplicity Results for Asymptotically Linear Equations, Using the Rotation Number Approach

By using a topological approach and the relation between rotation numbers and weighted eigenvalues, we give some multiplicity results for the boundary value problem u′′ + f(t, u) = 0, u(0) = u(T) = 0, under suitable assumptions on f(t, x)/x at zero and infinity. Solutions are characterized by their nodal properties. Supported by MIUR, GNAMPA and FCT.     

Integral points on quadrics in three variables whose coordinates have few prime factors

The main theorem states that if f(x ₁, x ₂, x ₃) is an indefinite anisotropic integral quadratic form with determinant d(f), and t a non-zero integer such that d(f)t is square-free, then as long as there is one integer solution to f(x ₁, x ₂, x ₃) = t there are infinitely many such solutions for which the product x ₁ x ₂ x ₃ has at most 26 prime factors. The proof relies on the affine linear sieve and in particular automorphic spectral methods to obtain a sharp level of distribution in the associated counting problem. The 26 comes from applying the sharpest known bounds towards Selberg’s eigenvalue conjecture. Assuming the latter the number 26 may be reduced to 22.