The Brachistochrone With a Movable End-Point and the Nonsimultaneous Variations

2009 ◽  
Vol 5 (1) ◽  
Author(s):  
D. Radomirovic ◽  
Dj. Djukic ◽  
L. Cveticanin
Keyword(s):  
Exact Solution ◽  
Calculus Of Variations ◽  
Parametric Method ◽  
Sufficient Conditions ◽  
Integral Type ◽  
First Order ◽  
End Point ◽  
Order Variation ◽  
Ritz’S Method ◽  
Necessary And Sufficient

In this paper, the necessary and sufficient conditions for minima plane path with a movable end-point are developed. Using the calculus of variations the considered conditions are based on the zero first-order nonsimultaneous variation and on the positive second-order variation in the functional of integral type corresponding to mechanical systems. The applied procedure is the coordinate parametric method. The obtained solutions are tested on a brachistochrone with one end-point constrained to lie on a circle. The exact solution is compared with the approximate one obtained with Ritz’s method.

Resolution systems and their applications I

1980 ◽  
Vol 3 (2) ◽  
pp. 235-268
Author(s):  
Ewa Orłowska
Keyword(s):  
Theorem Proving ◽  
Sufficient Conditions ◽  
Predicate Calculus ◽  
Resolution Method ◽  
First Order ◽  
Deductive Systems ◽  
Resolution System ◽  
Resolution Principle ◽  
Necessary And Sufficient ◽  
Classical Predicate

The central method employed today for theorem-proving is the resolution method introduced by J. A. Robinson in 1965 for the classical predicate calculus. Since then many improvements of the resolution method have been made. On the other hand, treatment of automated theorem-proving techniques for non-classical logics has been started, in connection with applications of these logics in computer science. In this paper a generalization of a notion of the resolution principle is introduced and discussed. A certain class of first order logics is considered and deductive systems of these logics with a resolution principle as an inference rule are investigated. The necessary and sufficient conditions for the so-called resolution completeness of such systems are given. A generalized Herbrand property for a logic is defined and its connections with the resolution-completeness are presented. A class of binary resolution systems is investigated and a kind of a normal form for derivations in such systems is given. On the ground of the methods developed the resolution system for the classical predicate calculus is described and the resolution systems for some non-classical logics are outlined. A method of program synthesis based on the resolution system for the classical predicate calculus is presented. A notion of a resolution-interpretability of a logic L in another logic L ′ is introduced. The method of resolution-interpretability consists in establishing a relation between formulas of the logic L and some sets of formulas of the logic L ′ with the intention of using the resolution system for L ′ to prove theorems of L. It is shown how the method of resolution-interpretability can be used to prove decidability of sets of unsatisfiable formulas of a given logic.

System Properties of One-Dimensional Distributed Systems

1977 ◽  
Vol 99 (2) ◽  
pp. 85-90 ◽  
Author(s):  
L. S. Bonderson
Keyword(s):  
Distributed Systems ◽  
Sufficient Conditions ◽  
State Variables ◽  
One Dimensional ◽  
First Order ◽  
Lumped Element ◽  
Order Form ◽  
Power Product ◽  
System Properties ◽  
Necessary And Sufficient

The system properties of passivity, losslessness, and reciprocity are defined and their necessary and sufficient conditions are derived for a class of linear one-dimensional multipower distributed systems. The utilization of power product pairs as state variables and the representation of the dynamics in first-order form allows results completely analogous to those for lumped-element systems.

ORDER AND CONVERGENCE OF THE ENHANCED 3-POINT FULLY IMPLICIT SUPER CLASS OF BLOCK BACKWARD DIFFERENTIATION FORMULA FOR SOLVING INITIAL VALUE PROBLEM

2021 ◽  
Vol 5 (2) ◽  
pp. 442-446
Author(s):  
Muhammad Abdullahi ◽  
Hamisu Musa
Keyword(s):  
Initial Value Problem ◽  
Initial Value Problems ◽  
Sufficient Conditions ◽  
Initial Value ◽  
Differentiation Formula ◽  
Stiff Initial Value Problems ◽  
First Order ◽  
Backward Differentiation Formula ◽  
Fully Implicit ◽  
Necessary And Sufficient

This paper studied an enhanced 3-point fully implicit super class of block backward differentiation formula for solving stiff initial value problems developed by Abdullahi & Musa and go further to established the necessary and sufficient conditions for the convergence of the method. The method is zero stable, A-stable and it is of order 5. The method is found to be suitable for solving first order stiff initial value problems

Necessary and sufficient conditions for oscillation of nonlinear first-order forced differential equations with several delays of neutral type

Analysis ◽  
2019 ◽  
Vol 39 (3) ◽  
pp. 97-105 ◽  
Author(s):  
Sandra Pinelas ◽  
Shyam S. Santra
Keyword(s):  
Differential Equations ◽  
Neutral Type ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
First Order ◽  
Several Delays ◽  
Necessary And Sufficient ◽  
T Tau ◽  
First Order Differential Equations

AbstractIn this work, necessary and sufficient conditions are obtained such that every solution of nonlinear neutral first-order differential equations with several delays of the form\bigl{(}x(t)+r(t)x(t-\tau)\bigr{)}^{\prime}+\sum_{i=1}^{m}\phi_{i}(t)H\bigl{(}% x(t-\sigma_{i})\bigr{)}=f(t)is oscillatory or tends to zero as {t\rightarrow\infty.} This problem is considered in various ranges of the neutral coefficient r. Finally, some illustrating examples are presented to show that feasibility and effectiveness of main results.

scholarly journals Oscillatory and Asymptotic Behavior of a First-Order Neutral Equation of Discrete Type with Variable Several Delay under Δ Sign

2018 ◽  
Vol 2018 ◽  
pp. 1-8
Author(s):  
Radhanath Rath ◽  
Chittaranjan Behera
Keyword(s):  
Difference Operator ◽  
Sufficient Conditions ◽  
Neutral Equation ◽  
Delay Difference Equation ◽  
Neutral Delay ◽  
First Order ◽  
Forward Difference ◽  
Necessary And Sufficient ◽  
Positive Integers ◽  
Delay Difference

We obtain necessary and sufficient conditions so that every solution of neutral delay difference equation Δyn-∑j=1kpnjyn-mj+qnG(yσ(n))=fn oscillates or tends to zero as n→∞, where {qn} and {fn} are real sequences and G∈C(R,R), xG(x)>0, and m1,m2,…,mk are positive integers. Here Δ is the forward difference operator given by Δxn=xn+1-xn, and {σn} is an increasing unbounded sequences with σn≤n. This paper complements, improves, and generalizes some past and recent results.

Multiconsensus of first-order multiagent systems with directed topologies

2020 ◽  
Vol 34 (23) ◽  
pp. 2050240
Author(s):  
Xiao-Wen Zhao ◽  
Guangsong Han ◽  
Qiang Lai ◽  
Dandan Yue
Keyword(s):  
Multiagent Systems ◽  
Matrix Theory ◽  
Sufficient Conditions ◽  
Consensus Problem ◽  
Multiple Agents ◽  
First Order ◽  
The Matrix ◽  
Directed Topologies ◽  
Necessary And Sufficient ◽  
Theoretical Results

The multiconsensus problem of first-order multiagent systems with directed topologies is studied. A novel consensus problem is introduced in multiagent systems — multiconsensus. The states of multiple agents in each subnetwork asymptotically converge to an individual consistent value in the presence of information exchanges among subnetworks. Linear multiconsensus protocols are proposed to solve the multiconsensus problem, and the matrix corresponding to the protocol is designed. Necessary and sufficient conditions are derived based on matrix theory, under which the stationary multiconsensus and dynamic multiconsensus can be reached. Simulations are provided to demonstrate the effectiveness of the theoretical results.

Center Problems and Limit Cycle Bifurcations in a Class of Quasi-Homogeneous Systems

2015 ◽  
Vol 25 (10) ◽  
pp. 1550135 ◽  
Author(s):  
Yanqin Xiong ◽  
Maoan Han ◽  
Yong Wang
Keyword(s):  
Limit Cycle ◽  
Differential System ◽  
Homogeneous Polynomial ◽  
Sufficient Conditions ◽  
Differential Systems ◽  
First Order ◽  
Polynomial Differential Systems ◽  
Perturbed System ◽  
Generalized Polynomial ◽  
Necessary And Sufficient

In this paper, we first classify all centers of a class of quasi-homogeneous polynomial differential systems of degree 5. Then we extend this kind of systems to a generalized polynomial differential system and provide the necessary and sufficient conditions to have a center at the origin. Furthermore, we study the Poincaré bifurcation for its perturbed system as it has a center at the origin, find the Poincaré cyclicity up to first order of ε.

Sign in / Sign up

Export Citation Format

Share Document