Global Dynamics of Froude-Type Oscillators with Superlinear Damping Terms

This paper deals with the damped superlinear oscillator $$x'' + a(t)\phi_p\bigl(x' \bigr) + b(t)\phi_q\bigl(x'\bigr)+ \omega^2x = 0, $$ where a(t) and b(t) are continuous and nonnegative for t≥0; p and q are real numbers greater than or equal to 2; ? _r (x′)=|x′| ^r?2 x′. This equation is a generalization of nonlinear ship rolling motion with Froude’s expression, which is very familiar in marine engineering, ocean engineering and so on. Our concern is to establish a necessary and sufficient condition for the equilibrium to be globally asymptotically stable. In particular, the effect of the damping coefficients a(t), b(t) and the nonlinear functions ? _p (x′), ? _q (x′) on the global asymptotic stability is discussed. The obtained criterion is judged by whether the integral of a particular solution of the first-order nonlinear differential equation $$u' + \omega^{p-2}a(t)\phi_p(u) + \omega^{q-2}b(t)\phi_q(u) + 1 = 0 $$ is divergent or convergent. In addition, explicit sufficient conditions and explicit necessary conditions are given for the equilibrium of the damped superlinear oscillator to be globally attractive. Moreover, some examples are included to illustrate our results. Finally, our results are extended to be applied to a more complicated model.     

Conditionally oscillatory half-linear differential equations

We consider a nonoscillatory half-linear second order differential equation (*) $$ (r(t)\Phi (x'))' + c(t)\Phi (x) = 0,\Phi (x) = \left| x \right|^{p - 2} x,p > 1, $$ and suppose that we know its solution h. Using this solution we construct a function d such that the equation (**) $$ (r(t)\Phi (x'))' + [c(t) + \lambda d(t)]\Phi (x) = 0 $$ is conditionally oscillatory. Then we study oscillations of the perturbed equation (**). The obtained (non)oscillation criteria extend existing results for perturbed half-linear Euler and Euler-Weber equations.     

Asymptotic stability of a pendulum with quadratic damping

The equation considered in this paper is $$x'' + h(t)\:x'|x'| + \omega^2\sin x = 0,$$ where h(t) is continuous and nonnegative for \({t \geq 0}\) and ω is a positive real number. This may be regarded as an equation of motion of an underwater pendulum. The damping force is proportional to the square of the velocity. The primary purpose is to establish necessary and sufficient conditions on the time-varying coefficient h(t) for the origin to be asymptotically stable. The phase plane analysis concerning the positive orbits of an equivalent planar system to the above-mentioned equation is used to obtain the main results. In addition, solutions of the system are compared with a particular solution of the first-order nonlinear differential equation $$u' + h(t)u|u| + 1 = 0.$$ Some examples are also included to illustrate our results. Finally, the present results are extended to be applied to an equation with a nonnegative real-power damping force.     

Asymptotic analysis of positive solutions of generalized Emden-Fowler differential equations in the framework of regular variation

Positive solutions of the nonlinear second-order differential equation $(p(t)|x'|^{\alpha - 1} x')' + q(t)|x|^{\beta - 1} x = 0,\alpha > \beta > 0,$ are studied under the assumption that p, q are generalized regularly varying functions. An application of the theory of regular variation gives the possibility of obtaining necessary and sufficient conditions for existence of three possible types of intermediate solutions, together with the precise information about asymptotic behavior at infinity of all solutions belonging to each type of solution classes.     

Existence of solutions for a fully nonlinear fourth-order two-point boundary value problem

In this paper, we investigate the existence of solutions of a fully nonlinear fourth-order differential equation $$x^{(4)}=f(t,x,x',x'',x'''),\quad t\in [0,1]$$ with one of the following sets of boundary value conditions; $$x'(0)=x(1)=a_{0}x''(0)-b_{0}x'''(0)=a_{1}x''(1)+b_{1}x'''(1)=0,$$ $$x(0)=x'(1)=a_{0}x''(0)-b_{0}x'''(0)=a_{1}x''(1)+b_{1}x'''(1)=0.$$ By using the Leray-Schauder degree theory, the existence of solutions for the above boundary value problems are obtained. Meanwhile, as an application of our results, an example is given.     

A Jost–Pais-Type Reduction of Fredholm Determinants and Some Applications

We study the analog of semi-separable integral kernels in \({\mathcal {H}}\) of the type $$ K(x, x') = \left\{\begin{array}{ll} F_1(x) G_1(x'), \quad& a < x' < x < b,\\ F_2 (x)G_2(x'), \quad& a < x < x' < b,\end{array}\right.$$ where \({-\infty \leqslant a < b \leqslant \infty}\) , and for a.e. \({x \in (a, b)}\) , \({F_j (x) \in \mathcal{B}_2(\mathcal{H}_j, \mathcal{H})}\) and \({G_j(x) \in \mathcal {B}_2(\mathcal {H},\mathcal {H}_j)}\) such that F _j (·) and G _j (·) are uniformly measurable, and $$\begin{array}{ll} || F_j ( \cdot) ||_{\mathcal {B}_2(\mathcal {H}_j,\mathcal {H})} \in L^2((a, b)), ||G_j (\cdot)||_{\mathcal {B}_2(\mathcal {H},\mathcal {H}_j)} \in L^2((a, b)), \quad j=1,2, \end{array}$$ with \({\mathcal {H}}\) and \({\mathcal {H}_j}\) , j = 1, 2, complex, separable Hilbert spaces. Assuming that K(·, ·) generates a trace class operator K in \({L^2((a, b);\mathcal {H})}\) , we derive the analog of the Jost–Pais reduction theory that succeeds in proving that the Fredholm determinant \({{\rm det}_{L^2((a,b);\mathcal{H})}}\) (I ? α K), \({\alpha \in \mathbb{C}}\) , naturally reduces to appropriate Fredholm determinants in the Hilbert spaces \({\mathcal{H}}\) (and \({\mathcal{H}_1 \oplus \mathcal{H}_2}\) ). Explicit applications of this reduction theory to Schrödinger operators with suitable bounded operator-valued potentials are made. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.     

Solutions to m-point boundary value problems of third order ordinary differential equations at resonance

In this paper, we study the third order ordinary differential equation: $$x'''(t) = f(t,x(t),x'(t),x''(t)), t \in (0,1)$$ subject to the boundary value conditions: $$x'(0) = x'(\xi ), x'(1) = \sum\limits_{i - 1}^{m - 3} {\beta _i x'(\eta _i )} , x''(1) = 0.$$ Hereβ _i ∈R, $\sum\limits_{i = 1}^{m - 3} {\beta _i = 1, 0< \eta _1< \eta _2< \ldots< \eta _{m - 3}< 1, 0< \xi< 1} $ . This is the case dimKerL=2. When theβ _i have different signs, we prove some existence results for the m-point boundary value problem at resonance by use of the coincidence degree theory of Mawhin [12, 13]. Since all the existence results obtained in previous papers are for the case dimKerL=1, our work is new.     

On the supercritical KdV equation with time-oscillating nonlinearity

For the initial value problem (IVP) associated to the generalized Korteweg–de Vries (gKdV) equation with supercritical nonlinearity, $$u_{t}+\partial_x^3u+\partial_x(u^{k+1}) =0,\qquad k\geq 5,$$ numerical evidence [3] shows that, there are initial data ${\phi\in H^1(\mathbb{R})}$ such that the corresponding solution may blow-up in finite time. Also, with the evidence from numerical simulation [1, 18], it has been claimed that a periodic time dependent coefficient in the nonlinearity would disturb the blow-up solution, either accelerating or delaying it. In this work, we investigate the IVP associated to the gKdV equation $$u_{t}+\partial_x^3u+g(\omega t)\partial_x(u^{k+1}) =0,$$ where g is a periodic function and ${k\geq 5}$ is an integer. We prove that, for given initial data ${\phi \in H^1(\mathbb{R})}$ , as ${|\omega|\to \infty}$ , the solution ${u_{\omega} }$ converges to the solution U of the initial value problem associated to $$U_{t}+\partial_x^3U+m(g)\partial_x(U^{k+1}) =0,$$ with the same initial data, where m(g) is the average of the periodic function g. Moreover, if the solution U is global and satisfies ${\|U\|_{L_x^{5}L_t^{10}}<\infty}$ , then we prove that the solution ${u_{\omega} }$ is also global provided ${|\omega|}$ is sufficiently large.     

Second-order ordinary differential equations with indefinite weight: the Neumann boundary value problem

We study the second-order nonlinear differential equation \(u'' + a(t) g(u) = 0\), where \(g\) is a continuously differentiable function of constant sign defined on an open interval \(I\subseteq {\mathbb R}\) and \(a(t)\) is a sign-changing weight function. We look for solutions \(u(t)\) of the differential equation such that \(u(t)\in I,\) satisfying the Neumann boundary conditions. Special examples, considered in our model, are the equations with singularity, for \(I = {\mathbb R}^+_0\) and \(g(u) \sim - u^{-\sigma },\) as well as the case of exponential nonlinearities, for \(I = {\mathbb R}\) and \(g(u) \sim \exp (u)\). The proofs are obtained by passing to an equivalent equation of the form \(x'' = f(x)(x')^2 + a(t)\).     

Collapsible Graphs and Hamiltonicity of Line Graphs

Thomassen conjectured that every 4-connected line graph is Hamiltonian. Chen and Lai (Combinatorics and Graph Theory, vol 95, World Scientific, Singapore, pp 53–69; Conjecture 8.6 of 1995) conjectured that every 3-edge connected and essentially 6-edge connected graph is collapsible. Denote D ₃(G) the set of vertices of degree 3 of graph G. For ${e = uv \in E(G)}$ , define d(e) = d(u) + d(v) ? 2 the edge degree of e, and ${\xi(G) = \min\{d(e) : e \in E(G)\}}$ . Denote by λ ^m (G) the m-restricted edge-connectivity of G. In this paper, we prove that a 3-edge-connected graph with ${\xi(G)\geq7}$ , and ${\lambda^3(G)\geq7}$ is collapsible; a 3-edge-connected simple graph with ${\xi(G)\geq7}$ , and ${\lambda^3(G)\geq6}$ is collapsible; a 3-edge-connected graph with ${\xi(G)\geq6}$ , ${\lambda^2(G)\geq4}$ , and ${\lambda^3(G)\geq6}$ with at most 24 vertices of degree 3 is collapsible; a 3-edge-connected simple graph with ${\xi(G)\geq6}$ , and ${\lambda^3(G)\geq5}$ with at most 24 vertices of degree 3 is collapsible; a 3-edge-connected graph with ${\xi(G)\geq5}$ , and ${\lambda^2(G)\geq4}$ with at most 9 vertices of degree 3 is collapsible. As a corollary, we show that a 4-connected line graph L(G) with minimum degree at least 5 and ${|D_3(G)|\leq9}$ is Hamiltonian.     

On convolvability conditions for distributions

We investigate several conditions of the convolvability and ${\mathcal{S}'}$ -convolvability of distributions and we show their equivalence by characterizing the partial summability of distribution kernels by multiplicative properties. More generally, partial summability to the power p and the partial vanishing at infinity of kernels are characterized by multiplicative properties. As an application we state several sufficient equivalent conditions ensuring the validity of the equation, $$ (\partial_jS)\ast T=S\ast (\partial_j T).$$ Furthermore, it is shown that the Chevalley condition for the convolvability of two distributions ${S,T\in\mathcal{D}'}$ , i.e., $$ (\varphi\ast S)(\psi\ast\check T)\in L^1\quad\text{for all }\varphi,\psi\in\mathcal D,$$ is equivalent with $$S(x-y)T(y-z)\in\mathcal D'_{xz}\hat\otimes L^1_y.$$      

Complete monotonicity and limit of a generalized Euler sequence

We prove that if $f:(0,\infty)\to\mathbb{R}$ is a completely monotonic function then the generalized Euler sequence $$(a_n)_{n\ge1},\quad a_n=f(1)+\cdots+f(n)-\int _1^n f(t)\,dt $$ is completely monotonic, and under appropriate conditions on f we obtain an explicit formula for its limit. Some particular cases of Stieltjes constants are studied. We also give representations for the sum of some generalized harmonic series.     

Additivity and exponentiality are alien to each other

Let (S, +) be a (semi)group and let (R,+, ·) be an integral domain. We study the solutions of a Pexider type functional equation $$f(x+y) + g(x+y) = f(x) + f(y) + g(x)g(y)$$ for functions f and g mapping S into R. Our chief concern is to examine whether or not this functional equation is equivalent to the system of two Cauchy equations $$\left\{\begin{array}{@{}ll} f(x+y) = f(x) + f(y)\\ g(x+y) = g(x)g(y)\end{array}\right.$$ for every ${x,y \in S}$ .     

Necessary and Sufficient Conditions for Associated Differential Operators in Quaternionic Analysis and Applications to Initial Value Problems

This paper deals with the initial value problem of type $$\begin{array}{ll} \qquad \frac{\partial u}{\partial t} = \mathcal{L} u := \sum \limits^3_{i=0} A^{(i)} (t, x) \frac{\partial u}{\partial x_{i}} + B(t, x)u + C(t, x)\\ u (0, x) = u_{0}(x)\end{array}$$ in the space of generalized regular functions in the sense of Quaternionic Analysis satisfying the differential equation $$\mathcal{D}_{\lambda}u := \mathcal{D} u + \lambda u = 0,$$ where ${t \in [0, T]}$ is the time variable, x runs in a bounded and simply connected domain in ${\mathbb{R}^{4}, \lambda}$ is a real number, and ${\mathcal{D}}$ is the Cauchy-Fueter operator. We prove necessary and sufficient conditions on the coefficients of the operator ${\mathcal{L}}$ under which ${\mathcal{L}}$ is associated with the operator ${\mathcal{D}_{\lambda}}$ , i.e. ${\mathcal{L}}$ transforms the set of all solutions of the differential equation ${\mathcal{D}_{\lambda}u = 0}$ into solutions of the same equation for fixedly chosen t. This criterion makes it possible to construct operators ${\mathcal{L}}$ for which the initial value problem is uniquely soluble for an arbitrary initial generalized regular function u ₀ by the method of associated spaces constructed by W. Tutschke (Teubner Leipzig and Springer Verlag, 1989) and the solution is also generalized regular for each t.     

Eigenvalue problem for finite difference equations with p-Laplacian

In this paper, we consider a discrete four-point boundary value problem $$\triangle\bigl(\phi_p\bigl(\triangle u(k-1)\bigr)\bigr)+ \lambda e(k)f\bigl(u(k)\bigr)=0,\quad k\in N(1,T),$$ subject to boundary conditions $$\triangle u(0)-\alpha u(l_{1})=0,\qquad\triangle u(T)+\beta u(l_{2})=0,$$ by a simple application of a fixed point theorem. If e(k),f(u(k)) are nonnegative, the solutions of the above problem may not be nonnegative, this is the main difficulty for us to study positive solution of this problem. In this paper, we give restrictive conditions ??l ₁??1, ??(T+1?l ₂)??1 to guarantee the solutions of this problem are nonnegative, if it has, under the conditions e(k),f(u(k)) are nonnegative. We first construct a new operator equation which is equivalent to the problem and provide sufficient conditions for the nonexistence and existence of at least one or two positive solutions. In doing so, the usual restrictions $f_{0}=\lim_{u\rightarrow 0^{+}}\frac{f(u)}{\phi_{p}(u)}$ and $f_{\infty}=\lim_{u\rightarrow\infty}\frac{f(u)}{\phi_{p}(u)}$ exist are removed.     

Traces of Permuting n-Additive Maps and Permuting n-Derivations of Rings

Let R be a prime ring with center Z(R). For a fixed positive integer n, a permuting n-additive map ${\Delta : R^n \to R}$ is known to be permuting n-derivation if ${\Delta(x_1, x_2, \ldots, x_i x'_{i},\ldots, x_n) = \Delta(x_1, x_2, \ldots, x_i, \ldots, x_n)x'_i + x_i \Delta(x_1, x_2, \ldots, x'_i, \ldots, x_n)}$ holds for all ${x_i, x'_i \in R}$ . A mapping ${\delta : R \to R}$ defined by δ(x) = Δ(x, x, . . . ,x) for all ${x \in R}$ is said to be the trace of Δ. In the present paper, we have proved that a ring R is commutative if there exists a permuting n-additive map ${\Delta : R^n \to R}$ such that ${xy + \delta(xy) = yx + \delta(yx), xy- \delta(xy) = yx - \delta(yx), xy - yx = \delta(x) \pm \delta(y)}$ and ${xy + yx = \delta(x) \pm \delta(y)}$ holds for all ${x, y \in R}$ . Further, we have proved that if R is a prime ring with suitable torsion restriction then R is commutative if there exist non-zero permuting n-derivations Δ₁ and Δ₂ from ${R^n \to R}$ such that Δ₁(δ ₂(x), x, . . . ,x) =  0 for all ${x \in R,}$ where δ ₂ is the trace of Δ₂. Finally, it is shown that in a prime ring R of suitable torsion restriction, if ${\Delta_1, \Delta_2 : R^n \longrightarrow R}$ are non-zero permuting n-derivations with traces δ ₁, δ ₂, respectively, and ${B : R^n \longrightarrow R}$ is a permuting n-additive map with trace f such that δ ₁ δ ₂(x) =  f(x) holds for all ${x \in R}$ , then R is commutative.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

A singularly perturbed second order quasilinear BVP

ＡＳＩＮＧＵＬＡＲＬＹＰＥＲＴＵＲＢＥＤＳＥＣＯＮＤＯＲＤＥＲＱＵＡＳＩＬＩＮＥＡＲＢＶＰＬＩＮＷＵＺＨＯＮＧ（林武忠）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ,ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ,Ｓｈａｎｇｈａｉ２０００６２...     

Oscillation of even order advanced type dynamic equations with mixed nonlinearities on time scales

This paper is concerned with the oscillatory properties of even order advanced type dynamic equation with mixed nonlinearities of the form $$\bigl[r(t)\varPhi_\alpha\bigl(x^{\Delta^{n-1}}(t) \bigr) \bigr]^\Delta+ p(t)\varPhi_\alpha\bigl(x\bigl(\delta(t)\bigr) \bigr) +\sum_{i=1}^kp_i(t) \varPhi_{\alpha_i} \bigl(x\bigl(\delta(t)\bigr) \bigr)=0 $$ on an arbitrary time scale $\mathbb{T}$ , where Φ _?(u)=|u|^??1 u. We present some new oscillation criteria for the equation by introducing parameter functions, establishing a new lemma, using a Hardy-Littlewood-Pólya inequality and an arithmetic-geometric mean inequality and developing a generalized Riccati technique. Our results extend and supplement some known results in the literature. Several examples are given to illustrate our main results.     

Some necessary and sufficient conditions for existence of positive solutions for third order singular super-linear multi-point boundary value problems

We mainly study the existence of positive solutions for the following third order singular super-linear multi-point boundary value problem $$ \left \{ \begin{array}{l} x^{(3)}(t)+ f(t, x(t), x'(t))=0,\quad0 where \(0\leq\alpha_{i}\leq\sum_{i=1}^{m_{1}}\alpha_{i}<1\) , i=1,2,…,m ₁, \(0<\xi_{1}< \xi_{2}< \cdots<\xi_{m_{1}}<1\) , \(0\leq\beta_{j}\leq\sum_{i=1}^{m_{2}}\beta_{i}<1\) , j=1,2,…,m ₂, \(0<\eta_{1}< \eta_{2}< \cdots<\eta_{m_{2}}<1\) . And we obtain some necessary and sufficient conditions for the existence of C ¹[0,1] and C ²[0,1] positive solutions by means of the fixed point theorems on a special cone. Our nonlinearity f(t,x,y) may be singular at t=0 and t=1.