Fractal oscillations of self-adjoint and damped linear differential equations of second-order

For a prescribed real number s ∈ [1, 2), we give some sufficient conditions on the coefficients p(x) and q(x) such that every solution y = y(x), y ∈ C²((0, T]) of the linear differential equation (p(x)y′)′ + q(x)y = 0 on (0, T], is bounded and fractal oscillatory near x = 0 with the fractal dimension equal to s. This means that y oscillates near x = 0 and the fractal (box-counting) dimension of the graph Γ(y) of y is equal to s as well as the s dimensional upper Minkowski content (generalized length) of Γ(y) is finite and strictly positive. It verifies that y admits similar kind of the fractal geometric asymptotic behaviour near x = 0 like the chirp function y_ch(x) = a(x)S(φ(x)), which often occurs in the time-frequency analysis and its various applications. Furthermore, this kind of oscillations is established for the Bessel, chirp and other types of damped linear differential equations given in the form y″ + (μ/x)y′ + g(x)y = 0, x ∈ (0, T]. In order to prove the main results, we state a new criterion for fractal oscillations near x = 0 of real continuous functions which essentially improves related one presented in [1].     

Rectifiable and unrectifiable oscillations for a class of second-order linear differential equations of Euler type

The main purpose of the paper is to pay attention to a new kind of oscillations, so-called rectifiable and unrectifiable oscillations, which occur in a class of linear second-order differential equations, including the famous linear Euler differential equation. It will be shown that this kind of oscillations only depends on a positive real parameter which appears in a singular term of the main equation as well as in a suitable boundary-layer condition.     

Rectifiable oscillations in second-order linear differential equations

We study the linear differential equation , on I=(0,1), where the coefficient f(x) is strictly positive and continuous on I, and satisfies the Hartman-Wintner condition at x=0. The four main results of the paper are: (i) a criterion for rectifiable oscillations of (P), characterized by the integrability of on I; (ii) a stability result for rectifiable and unrectifiable oscillations of (P), in terms of a perturbation on f(x); (iii) the s-dimensional fractal oscillations (for which we assume also f(x)∼cx−α when x→0, α>2, and s=max{1,3/2−2/α}); and (iv) the co-existence of rectifiable and unrectifiable oscillations in the absence of the Hartman-Wintner condition on f(x). Explicit examples related to the above results are given.     

Rectifiable oscillations in second-order half-linear differential equations

Second-order half-linear differential equation (H): on the finite interval I = (0,1] will be studied, where , p > 1 and the coefficient f(x) > 0 on I, , and . In case when p = 2, the equation (H) reduces to the harmonic oscillator equation (P): y′′ + f(x)y = 0. In this paper, we study the oscillations of solutions of (H) with special attention to some geometric and fractal properties of the graph . We establish integral criteria necessary and sufficient for oscillatory solutions with graphs having finite and infinite arclength. In case when , λ > 0, α > p, we also determine the fractal dimension of the graph G(y) of the solution y(x). Finally, we study the L ^p nonintegrability of the derivative of all solutions of the equation (H).      

Fractal oscillations for a class of second order linear differential equations of Euler type

The s-dimensional fractal oscillations for continuous and smooth functions defined on an open bounded interval are introduced and studied. The main purpose of the paper is to establish this kind of oscillations for solutions of a class of second order linear differential equations of Euler type. Next, it will be shown that the dimensional number s only depends on a positive real parameter α appearing in a singular term of the main equation. It continues some recent results on the rectifiable and unrectifiable oscillations given in Paši? [M. Paši?, Rectifiable and unrectifiable oscillations for a class of second-order linear differential equations of Euler type, J. Math. Anal. Appl. 335 (2007) 724-738] and Wong [J.S.W. Wong, On rectifiable oscillation of Euler type second order linear differential equations, Electron. J. Qual. Theory Differ. Equ. 20 (2007) 1-12].     

Existence and asymptotic behaviour of solutions to weakly damped wave equations of Kirchhoff type with nonlinear damping and source terms

In this paper we consider the existence of a local solution in time to a weakly damped wave equation of Kirchhoff type with the damping term and the source term:

     

Complete group classification of systems of two linear second-order ordinary differential equations

We give a complete group classification of the general case of linear systems of two second-order ordinary differential equations excluding the case of systems which are studied in the literature. This paper gives the initial step in the study of nonlinear systems of two second-order ordinary differential equations. It can also be extended to systems of equations with more than two equations. Furthermore the complete group classification of a system of two linear second-order ordinary differential equations is done. Four cases of linear systems of equations with inconstant coefficients are obtained.     

Oscillation of solutions of second-order linear differential equations and corresponding difference equations

In this paper, we present conditions ensuring that solutions of linear second-order differential equations oscillate, provided solutions of corresponding difference equations oscillate. We also establish the converse result, namely, when oscillation of solutions of difference equations implies oscillation of solutions of corresponding differential equations.     

Generalized wave polynomials and transmutations related to perturbed Bessel equations

The transmutation (transformation) operator associated with the perturbed Bessel equation is considered. It is shown that its integral kernel can be uniformly approximated by linear combinations of constructed here generalized wave polynomials, solutions of a singular hyperbolic partial differential equation arising in relation with the transmutation kernel. As a corollary of this result an approximation of the regular solution of the perturbed Bessel equation is proposed with corresponding estimates independent of the spectral parameter.     

On the group classification of systems of two linear second-order ordinary differential equations with constant coefficients

The completeness of the group classification of systems of two linear second-order ordinary differential equations with constant coefficients is delineated in the paper. The new cases extend what has been done in the literature. These cases correspond to the type of equations where the commutative property of the coefficient matrices with respect to the dependent variables and the first-order derivatives in the considered system does not hold. A discussion of the results as well as a note on the extension to linear systems of second-order ordinary differential equations with more than two equations are given.     

A theorem on energy integrals for linear second-order ordinary differential equations with variable coefficients

We aim at demonstrating a novel theorem on the derivation of energy integrals for linear second-order ordinary differential equations with variable coefficients. Namely, in this context, we will present a possible and consistent method to overcome the traditional difficulty of deriving energy integrals for Lagrangian functions that explicitly exhibit the independent variable. Our theorem is such that it appropriately governs the arbitrariness of the variable coefficients in order to have energy integrals ensured. In view of the theoretical framework in which the theorem will be embedded, we will also demonstrate that it can be applied as a mathematical method to solve linear second-order ordinary differential equations with variable coefficients. These results are expected to have a generalized fundamental character.     

Equivalence and symmetries of second-order differential equations

In this article we investigate the equivalence of underdetermined differential equations and differential equations with deviations of second order with respect to the pseudogroup of transformations = φ(x), ȳ = ȳ() = L(x) + y(x), = () = M(x) + z(x). Our main aim is to determine such equations that admit a large pseudogroup of symmetries. Instead the common direct calculations, we use some more advanced tools from differential geometry, however, our exposition is self-contained and only the most fundamental properties of differential forms are employed. This research has been conducted at the Department of Mathematics as part of the research project CEZ: Progressive reliable and durable structures, MSM 0021630519.     

Symmetries and invariants of the systems of two linear second-order ordinary differential equations

For arbitrary systems of two linear second-order ordinary differential equations, the symmetry Lie algebra is described in terms of invariant theory, resulting in eleven non-equivalent symmetry types. The result is compared with the group classification approach recently obtained by different authors.     

Dynamics and exact solutions of non-evolutionary partial differential equations

The article presents a new method for constructing exact solutions of non-evolutionary partial differential equations with two independent variables. The method is applied to the linear classical equations of mathematical physics: the Helmholtz equation and the variable type equation. The constructed method goes back to the theory of finite-dimensional dynamics proposed for evolutionary differential equations by B. Kruglikov, O. Lychagina and V. Lychagin. This theory is a natural development of the theory of dynamical systems. Dynamics make it possible to find families that depends on a finite number of parameters among all solutions of PDEs. The proposed method is used to construct exact particular solutions of linear differential equations (Helmholtz equations and equations of variable type).     

Optimal control of systems governed by time-delayed,second-order,linear, parabolic partial differential equations with a first boundary condition

In this paper, we consider a class of systems governed by time-delayed, second-order, linear, parabolic partial differential equations with first boundary conditions. The existence and uniqueness of solutions of this class of systems are established in Theorem 3.2. A necessary condition for optimality for the corresponding controlled system is presented in Theorem 5.1. For the proof of this theorem, we develop several preparatory results in Sections 2, 3, and 4.     

On the behavior of the solutions to periodic linear delay differential and difference equations

Some new results on the behavior of the solutions to periodic linear delay differential equations as well as to periodic linear delay difference equations are given. These results are obtained by the use of two distinct roots of the corresponding (so called) characteristic equation.     

On the strong and weak solutions of stochastic differential equations governing Bessel processes

We prove that the δ-dimensional Bessel process (δ > 1) is a strong solution of a stochastic differential equation of the special form. The purpose of this paper is to investigate whether there exist other (weak and strong) solutions of these equations. This leads us to the conclusion that Zvonkin's theorem cannot be extended to stochastic differential equations with an unbounded drift.     

Pedogogical perspectives on the method of Wilmer III and Costa for solving second-order differential equations

Recently, Wilmer III and Costa introduced a method into the mathematics education research literature which they employed to construct solutions to certain classes of ordinary differential equations. In this article, we build on their ideas in the following ways. We establish a link between their approach and the method of successive approximations. We show how applying the method of approximations naturally leads to the constructed approximation of Wilmer III and Costa. The new link is important because it enables us to respond to several challenges posed by Wilmer III and Costa. This includes addressing issues raised therein with convergence of their recursively constructed sequence of functions, and responding to their call regarding more mathematical rigour when relaxing the polynomial condition on the coefficients in the differential equation. Furthermore, the new link is pedagogically significant because it also opens up new pedagogical points of view. For example, the results in this paper provide potentially alternate, but overlapping, perspectives that are suitable for, and jointly inform, the learning and teaching of solution methods to differential equations. The value of this is supported by the presumption of Tisdell that teaching multiple ways to solve the same problem has academic and social value.     

Generalized almost periodic and ergodic solutions of linear differential equations on the half-line in Banach spaces

The Bohl-Bohr-Amerio-Kadets theorem states that the indefinite integral y=Pφ of an almost periodic (ap) is again ap if y is bounded and the Banach space X does not contain a subspace isomorphic to c₀. This is here generalized in several directions: Instead of it holds also for φ defined only on a half-line , instead of ap functions abstract classes with suitable properties are admissible, can be weakened to φ in some “mean” class , then ; here contains all f∈L¹_loc with in for all h>0 (usually strictly); furthermore, instead of boundedness of y mean boundedness, y in some , or in , ergodic functions, suffices. The Loomis-Doss result on the almost periodicity of a bounded Ψ for which all differences Ψ(t+h)−Ψ(t) are ap for h>0 is extended analogously, also to higher order differences. Studying “difference spaces” in this connection, we obtain decompositions of the form: Any bounded measurable function is the sum of a bounded ergodic function and the indefinite integral of a bounded ergodic function. The Bohr-Neugebauer result on the almost periodicity of bounded solutions y of linear differential equations P(D)y=φ of degree m with ap φ is extended similarly for ; then provided, for example, y is in some with U=L^∞ or is totally ergodic and, for the half-line, Reλ?0 for all eigenvalues P(λ)=0. Analogous results hold for systems of linear differential equations. Special case: φ bounded and Pφ ergodic implies Pφ bounded. If all Reλ>0, there exists a unique solution y growing not too fast; this y is in if , for quite general .