W pracy przedstawiono metodę konstrukcji funkcji Lapunowa dla pewnych klas liniowych rozszerzeń układów dynamicznych na torusie. Pierwsza część artykułu zawiera wstęp teoretyczny, w którym przedstawione zostały m.in. defnicje funkcji Greena-Samojlenki oraz regularności układu równań różniczkowych. W drugiej części udowodniono twierdzenie, które umożliwia ustalenie regularności układu poprzez konstrukcję funkcji Lapunowa. Przedstawione zostały także przykłady, które pokazują jak wielkie możliwości daje to twierdzenie przy badaniu regularności układów równań różniczkowych.
EN
In this article was presented a method of construction of the Lyapunov function for some classes of linear extensions of dynamical systems. The article contains two parts. In the first part were presented the basic definitions as Green-Samoilenko function and regularity of the system. The second part contains the theorem, which allows to determine regularity of the system by using the Lyapunov function. In the second part are also two example, which show how to construct the Lyapunov function.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The paper is concerned with application of mathematical modeling to the analysis of signaling pathways. Two issues, deterministic modeling of gene transcription and model-driven discovery of regulatory elements, are dealt with. First, the biological background is given and the importance of the stochastic nature of biological processes is addressed. The assumptions underlying deterministic modeling are presented. Special emphasis is put on describing gene transcription. A framework for including unknown processes activating gene transcription by means of first-order lag elements is introduced and discussed. Then, a particular interferon-β induced pathway is introduced, limited to early events that precede activation of gene transcription. It is shown how to simplify the system description based on the goals of modeling. Further, a computational analysis is presented, facilitating better understanding of the mechanisms underlying regulation of key components in the pathway. The analysis is illustrated by a comparison of simulation and experimental data.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We study the enclosing problem for discrete and continuous dynamical systems in the context of computer assisted proofs. We review and compare the existing methods and emphasize the importance of developing a suitable set arithmetic for efficient algorithms solving the enclosing problem.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In paper [4] there are considered random dynamical systems with randomly chosen jumps acting on Polish spaces. The intensity of this process is a constant λ. In this paper we formulate criteria for the existence of an invariant measure and asymptotic stability for these systems in the case when λ is not constant but a Lipschitz function.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We give sufficient conditions for asymptotic stability of a Markov operator governing the evolution of measures due to the action of randomly chosen dynamical systems. We show that the existence of an invariant measure for the transition operator implies the existence of an invariant measure for the semigroup generated by the system.
We introduce three quantities related to orbits of non-elliptic continuous semigroups of holomorphic self-maps of the unit disk, the total speed, the orthogonal speed, and the tangential speed and show how they are related and what can be inferred from those.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We formulate and analyze an unconditionally stable nonstandard finite difference method for a mathematical model of HIV transmission dynamics. The dynamics of this model are studied using the qualitative theory of dynamical systems. These qualitative features of the continuous model are preserved by the numerical method that we propose in this paper. This method also preserves the positivity of the solution, which is one of the essential requirements when modeling epidemic diseases. Robust numerical results confirming theoretical investigations are provided. Comparisons are also made with the other conventional approaches that are routinely used for such problems.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper deals with a class of uncertain systems with time-varying delays and norm-bounded uncertainty. The stability and stabilizability of this class of systems are considered. Linear Matrix Inequalities (LMI) delay-dependent sufficient conditions for both stability and stabilizability and their robustness are established.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.