Towards a computer-assisted proof for chaos in a forced damped pendulum equation

We report on the first steps made towards the computational proof of the chaotic behaviour of the forced damped pendulum. Although, chaos for this pendulum was being conjectured for long, and it has been plausible on the basis of numerical simulations, there is no rigorous proof for it. In the present paper we provide computational details on a fitting model and on a verified method of solution. We also give guaranteed reliability solutions showing some trajectory properties necessary for complicate chaotic behaviour.     

Classical non-mass-preserving solutions of coagulation equations

In this paper we construct classical solutions of a family of coagulation equations with homogeneous kernels that exhibit the behaviour known as gelation. This behaviour consists in the loss of mass due to the fact that some of the particles can become infinitely large in finite time.     

Holomorphic solutions to functional differential equations

The pantograph equation is perhaps one of the most heavily studied class of functional differential equations owing to its numerous applications in mathematical physics, biology, and problems arising in industry. This equation is characterized by a linear functional argument. Heard (1973) [10] considered a generalization of this equation that included a nonlinear functional argument. His work focussed on the asymptotic behaviour of solutions for a real variable x as x→∞. In this paper, we revisit Heard's equation, but study it in the complex plane. Using results from complex dynamics we show that any nonconstant solution that is holomorphic at the origin must have the unit circle as a natural boundary. We consider solutions that are holomorphic on the Julia set of the nonlinear argument. We show that the solutions are either constant or have a singularity at the origin. There is a special case of Heard's equation that includes only the derivative and the functional term. For this case we construct solutions to the equation and illustrate the general results using classical complex analysis.     

Properties of the Michaelis-Menten mechanism in phase space

We study the two-dimensional reduction of the Michaelis-Menten reaction of enzyme kinetics. First, we prove the existence and uniqueness of a slow manifold between the horizontal and vertical isoclines. Second, we determine the concavity of all solutions in the first quadrant. Third, we establish the asymptotic behaviour of all solutions near the origin, which generally is not given by a Taylor series. Finally, we determine the asymptotic behaviour of the slow manifold at infinity. To this end, we show that the slow manifold can be constructed as a centre manifold for a fixed point at infinity.     

Connection factors in the Schrödinger equation with a polynomial potential

Given a second order differential equation with two singular points, namely the origin and infinity, the connection factors allow to split a power series solution into formal solutions with known asymptotic behavior. A procedure is suggested to obtain those factors, as quotients of Wronskians of the mentioned solutions, in the case of a Schrödinger equation with a polynomial potential. Application of the procedure to particular cases, whose connection factors are already known, allows us to obtain new relations for quotients and products of gamma functions.     

A note on the asymptotic behavior of global classical solutions of diagonalizable quasilinear hyperbolic systems

This paper is concerned with the asymptotic behavior of global classical solutions of diagonalizable quasilinear hyperbolic systems with linearly degenerate characteristic fields. On the basis of the existence result for the global classical solution, we prove that when t tends to the infinity, the solution approaches a combination of C¹ traveling wave solutions, provided that the C¹ norm and the BV norm of the initial data are bounded but possibly large. In contrast to former results obtained by Liu and Zhou [J. Liu, Y. Zhou, Asymptotic behaviour of global classical solutions of diagonalizable quasilinear hyperbolic systems, Math. Methods Appl. Sci. 30 (2007) 479-500], ours do not require their assumption that the system is rich in the sense of Serre. Applications include that to the one-dimensional Born-Infeld system arising in string theory and high energy physics.     

Long range scattering for the modified Schrödinger map in two space dimensions

We study the asymptotic behaviour in time of solutions and the theory of scattering for the modified Schrödinger map in two space dimensions. We solve the Cauchy problem with large finite initial time, up to infinity in time, and we determine the asymptotic behaviour in time of the solutions thereby obtained. As a by product, we obtain global existence for small data in Hk∩FHk with k>1. We also solve the Cauchy problem with infinite initial time, namely we construct solutions defined in a neighborhood of infinity in time, with prescribed asymptotic behaviour of the previous type.     

An adaptive numerical method to handle blow-up in a parabolic system

We study numerical approximations to solutions of a system of two nonlinear diffusion equations in a bounded interval, coupled at the boundary in a nonlinear way. In certain cases the system develops a blow-up singularity in finite time. Fixed mesh methods are not well suited to approximate the problem near the singularity. As an alternative to reproduce the behaviour of the continuous solution, we present an adaptive in space procedure. The scheme recovers the conditions for blow-up and non-simultaneous blow-up. It also gives the correct non-simultaneous blow-up rate and set. Moreover, the numerical simultaneous blow-up rates coincide with the continuous ones in the cases when the latter are known. Finally, we present numerical experiments that illustrate the behaviour of the adaptive method.     

Uniqueness and decay estimates for a class of parabolic partial differential equations with hysteresis and convection

We deal in detail with the question of existence, uniqueness and asymptotic behaviour of solutions to a parabolic equation with hysteresis and convection. This equation is part of a model system which describes the magnetohydrodynamic (MHD) flow of a conducting fluid between two ferromagnetic plates. The result of this paper complements the content of a previous paper of the first author, where existence of the solution has been proved under fairly general assumptions on the hysteresis operator and the uniqueness was only obtained for a restricted class of hysteresis operators.     

Entire solutions for a semilinear fourth order elliptic problem with exponential nonlinearity

We investigate entire radial solutions of the semilinear biharmonic equation Δ²u=λexp(u) in Rn, n?5, λ>0 being a parameter. We show that singular radial solutions of the corresponding Dirichlet problem in the unit ball cannot be extended as solutions of the equation to the whole of Rn. In particular, they cannot be expanded as power series in the natural variable s=log|x|. Next, we prove the existence of infinitely many entire regular radial solutions. They all diverge to −∞ as |x|→∞ and we specify their asymptotic behaviour. As in the case with power-type nonlinearities [F. Gazzola, H.-Ch. Grunau, Radial entire solutions for supercritical biharmonic equations, Math. Ann. 334 (2006) 905-936], the entire singular solution x?−4log|x| plays the role of a separatrix in the bifurcation picture. Finally, a technique for the computer assisted study of a broad class of equations is developed. It is applied to obtain a computer assisted proof of the underlying dynamical behaviour for the bifurcation diagram of a corresponding autonomous system of ODEs, in the case n=5.     

Large time dynamics of a nonlinear spring–mass–damper model

In this paper we consider a nonlinear strongly damped wave equation as a model for a controlled spring–mass–damper system and give some results concerning its large time behaviour. It can be seen that the infinite dimensional system admits a two-dimensional attracting manifold where the equation is well represented by a classical nonlinear oscillations ODE, which can be exhibited explicitly. In contrast to other papers, this one applies Invariant Manifold Theory to a problem whose linear part is not self-adjoint.     

The practical use of the Euler transformation

The generalised Euler transformation is a powerful transformation of infinite series which can be used, in theory, for the acceleration of convergence and for analytic continuation. When the transformation is applied to a series with rounded coefficients, its behaviour can differ substantially from that predicted theoretically. In general, analytic continuation is impossible in this case. It is still possible, however, to use the transformation for acceleration of convergence, but some changes are necessary in the method of choosing the optimum parameter value.     

RELATIVE COMPACTNESS AND COMPACTNESS OF GENERAL SUBSETS IN AN I- TOPOLOGICAL SPACE

Abstract

In a previous work, we introduced a form of compactness applicable to general fuzzy sets in an I-topological space. It was shown that many of the standard results for compactness in general topology remain valid in the fuzzy setting. In this paper we continue our investigations into the behaviour of compact fuzzy subsets. We also introduce the notion of a relatively compact fuzzy subset and obtain results very similar to those of general topology. Many of our results are in the setting of fuzzy neighbourhood space and fuzzy uniform spaces. In particular, a number of criteria for compactness, already known for the whole space, are extended to arbitrary fuzzy subsets in a fuzzy neighbourhood space.     

Discrete Elliptic Dirichlet Problems and Nonlinear Algebraic Systems

In this paper we are interested in the existence of infinitely many solutions for a partial discrete Dirichlet problem depending on a real parameter. More precisely, we determine unbounded intervals of parameters such that the treated problems admit either an unbounded sequence of solutions, provided that the nonlinearity has a suitable behaviour at infinity, or a pairwise distinct sequence of solutions that strongly converges to zero if a similar behaviour occurs at zero. Finally, the attained solutions are positive when the nonlinearity is supposed to be nonnegative thanks to a discrete maximum principle.     

Curves on a Kummer Surface in ℙ3, I

In this paper the asymptotic behaviour of the solutions of x' = A(t)x + h(t,x) under the assumptions of instability is studied, A(t) and h(t,x) being a square matrix and a vector function, respectively. The conditions for the existence of bounded solutions or solutions tending to the origin as t → ∞ are obtained. The method: the system is recasted to an equation with complex conjugate coordinates and this equation is studied by means of a suitable Lyapunov function and by virtue of the Wazevski topological method. Applications to a nonlinear differential equation of the second order are given.     

On the asymptotic behaviour of capillary surfaces in cusps

Concus and Finn [2] discovered that capillary surfaces rise to infinity in corners with sufficiently small opening angle. They also found the leading term of an asymptotic expansion. Miersemann [5] improved this result to obtain a complete asymptotic expansion. In the present paper we will apply the methods of the above authors to discuss asymptotic behaviour of capillarities in cusps, which is a corner with opening angle 0. A large variety of asymptotic formulas will be provided. The general comparison theorem from Concus and Finn will play an important role in the proofs.     

Large Time Behavior for a Simplified 1D Model of Fluid–Solid Interaction†

Abstract

In this article we consider a simple model in one space dimension for the interaction between a fluid and a solid represented by a point mass. The fluid is governed by the viscous Burgers equation and the solid mass, which shares the velocity of the fluid, is accelerated by the difference of pressure at both sides of it. We describe the asymptotic behavior of solutions for integrable data using energy estimates and scaling techniques. We prove that the asymptotic profile of the fluid is a self-similar solution of the Burgers equation with an appropriate total mass, and we describe the parabolic trajectory of the point mass. We also prove that, asymptotically, the difference of pressure to both sides of the point mass vanishes.     

Solutions with peaks for a coagulation-fragmentation equation. Part II: Aggregation in peaks

The aim of this two-part paper is to investigate the stability properties of a special class of solutions to a coagulation-fragmentation equation. We assume that the coagulation kernel is close to the diagonal kernel, and that the fragmentation kernel is diagonal. In a companion paper we constructed a two-parameter family of stationary solutions concentrated in Dirac masses, and we carefully studied the asymptotic decay of the tails of these solutions, showing that this behaviour is stable. In this paper we prove that for initial data which are sufficiently concentrated, the corresponding solutions approach one of these stationary solutions for large times.     

Asymptotic axial symmetry of solutions of parabolic equations in bounded radial domains

We consider solutions of some nonlinear parabolic boundary value problems in radial bounded domains whose initial profile satisfies a reflection inequality with respect to a hyperplane containing the origin. We show that, under rather general assumptions, these solutions are asymptotically (in time) foliated Schwarz symmetric, that is, all elements in the associated omega limit set are axially symmetric with respect to a common axis passing through the origin and nonincreasing in the polar angle from this axis. In this form, the result is new even for equilibria (i.e., solutions of the corresponding elliptic problem) and time periodic solutions.