Search
Department of Differential Equations and Mathematical Applications
Publications
Filters
total: 271
Catalog Publications
Year 2024
-
angielski
PublicationA subset D of V (G) is a dominating set of a graph G if every vertex of V (G) − D has at least one neighbour in D; let the domination number γ(G) be the minimum cardinality among all dominating sets in G. We say that a graph G is γ-q-critical if subdividing any q edges results in a graph with domination number greater than γ(G) and there exists a set of q − 1 edges such that subdividing these edges results in a graph with domination...
-
THE REPRESENTATION PROBLEM FOR A DIFFUSION EQUATION AND FRACTAL R-L LADDER NETWORKS
PublicationThe representation problem is to prove that a discretization in space of the Fourier transform of a diffusion equation with a constant diffusion coefficient can be realized explicitly by an infinite fractal R-L ladder networks. We prove a rigidity theorem: a solution to the representation problem exists if and only if the space discretization is a geometric space scale and the fractal ladder networks is a Oustaloup one. In this...
Year 2023
-
Attractors of dissipative homeomorphisms of the infinite surface homeomorphic to a punctured sphere
PublicationA class of dissipative orientation preserving homeomorphisms of the infinite annulus,pairs of pants, or generally any infinite surface homeomorphic to a punctured sphere isconsidered. We prove that in some isotopy classes the local behavior of such homeomor-phisms at a fixed point, namely the existence of so-called inverse saddle, impacts thetopology of the attractor — it cannot be arcwise connected
-
Between therapy effect and false-positive result in animal experimentation
PublicationDespite the animal models’ complexity, researchers tend to reduce the number of animals in experiments for expenses and ethical concerns. This tendency makes the risk of false-positive results, as statistical significance, the primary criterion to validate findings, often fails if testing small samples. This study aims to highlight such risks using an example from experimental regenerative therapy and propose a machine-learning...
Year 2020
-
A space-efficient algorithm for computing the minimum cycle mean in a directed graph
PublicationAn algorithm is introduced for computing the minimum cycle mean in a strongly connected directed graph with n vertices and m arcs that requires O(n) working space. This is a considerable improvement for sparse graphs in comparison to the classical algorithms that require O(n^2) working space. The time complexity of the algorithm is still O(nm). An implementation in C++ is made publicly available at http://www.pawelpilarczyk.com/cymealg/.
-
Comments on various extensions of the Riemann–Liouville fractional derivatives : About the Leibniz and chain rule properties
PublicationStarting from the Riemann–Liouville derivative, many authors have built their own notion of fractional derivative in order to avoid some classical difficulties like a non zero derivative for a constant function or a rather complicated analogue of the Leibniz relation. Discussing in full generality the existence of such operator over continuous functions, we derive some obstruction Lemma which can be used to prove the triviality...
-
Computations of the least number of periodic points of smooth boundary-preserving self-maps of simply-connected manifolds
PublicationLet $r$ be an odd natural number, $M$ a compact simply-connected smooth manifold, $\dim M\geq 4$, such that its boundary $\partial M$ is also simply-connected. We consider $f$, a $C^1$ self-maps of $M$, preserving $\partial M$. In [G. Graff and J. Jezierski, Geom. Dedicata 187 (2017), 241-258] the smooth Nielsen type periodic number $D_r(f;M,\partial M)$ was defined and proved to be equal to the minimal number of $r$-periodic points...
-
Justification of quasi-stationary approximation in models of gene expression of a self-regulating protein
PublicationWe analyse a model of Hes1 gene transcription and protein synthesis with a negative feedback loop. The effect of multiple binding sites in the Hes1 promoter as well as the dimer formation process are taken into account. We consider three, possibly different, time scales connected with: (i) the process of binding to/dissolving from a binding site, (ii) formation and dissociation of dimers, (iii) production and degradation of Hes1...
-
Newton’s Method for the McKendrick-von Foerster Equation
PublicationIn the paper we study an age-structured model which describes the dynamics of one population with growth, reproduction and mortality rates. We apply Newton’smethod to the McKendrick-von Foerster equation in the semigroup setting. We prove its first- and second-order convergence.
-
Rigorous numerics for critical orbits in the quadratic family
PublicationWe develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps fa(x)=a−x2. We illustrate the effectiveness of our approach by constructing a dynamically defined partition P of the parameter interval Ω=[1.4,2] into almost 4 million subintervals, for each of which we compute to high precision the...
-
Topological degree for equivariant gradient perturbations of an unbounded self-adjoint operator in Hilbert space
PublicationWe present a version of the equivariant gradient degree defined for equivariant gradient perturbations of an equivariant unbounded self-adjoint operator with purely discrete spectrum in Hilbert space. Two possible applications are discussed.
Year 2019
-
About the Noether’s theorem for fractional Lagrangian systems and a generalization of the classical Jost method of proof
PublicationRecently, the fractional Noether's theorem derived by G. Frederico and D.F.M. Torres in [10] was proved to be wrong by R.A.C. Ferreira and A.B. Malinowska in (see [7]) using a counterexample and doubts are stated about the validity of other Noether's type Theorem, in particular ([9],Theorem 32). However, the counterexample does not explain why and where the proof given in [10] does not work. In this paper, we make a detailed analysis...
-
Analizy epidemiologiczne w środowisku MATLAB/Octave
PublicationW artykule skonstruowano proste modele matematyczne rozprzestrzeniania się chorób zakaźnych oparte na równaniach różniczkowych oraz automatach komórkowych. Na przykładzie modeli SIS i SIR zilustrowano praktyczne zastosowanie pojęć matematycznych nauczanych w toku studiów. Za pomocą symulacji komputerowych, do których użyto pakietów matematycznych MATLAB i Octave, uzyskano wizualizacje tempa rozwoju danej choroby oraz...
-
Degree product formula in the case of a finite group action
PublicationLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
Detecting coupling directions with transcript mutual information: A comparative study
PublicationCausal relationships are important to understand the dynamics of coupled processes and, moreover, to influence or control the effects by acting on the causes. Among the different approaches to determine cause-effect relationships and, in particular, coupling directions in interacting random or deterministic processes, we focus in this paper on information-theoretic measures. So, we study in the theoretical part the difference between...
-
Generating sequences of Lefschetz numbers of iterates
PublicationDu, Huang and Li showed in 2003 that the class of Dold–Fermat sequences coincides with the class of Newton sequences, which are defined in terms of socalled generating sequences. The sequences of Lefschetz numbers of iterates form an important subclass of Dold–Fermat (thus also Newton) sequences. In this paper we characterize generating sequences of Lefschetz numbers of iterates.
-
Jak gładkość generuje punkty periodyczne
PublicationJednym z ważnych problemów teorii układów dynamicznych i topologii jest pytanie, jaka jest najmniejsza liczba punktów stałych lub periodycznych w danej klasie odwzorowań. Na przykład klasyczne twierdzenie Brouwera stwierdza, że każde ciągłe odwzorowanie kuli domkniętej w siebie ma przynajmniej jeden punkt stały. Szczególnie interesujące staje się powyższe pytanie w odniesieniu do klasy homotopii danego odwzorowania f. Artykuł poświęcony...
-
Matematyczne spojrzenie na reakcje chemiczne
PublicationModelowanie matematyczne jest pewnego rodzaju sztuką opisywania świata — zarówno w skali mikro jak i makro — za pomocą równań matematycznych (równań różniczkowych, różnicowych czy stochastycznych).
-
Oriented Gaussian beams for high-accuracy computation with accuracy control of X-ray propagation through a multi-lens system
PublicationA highly accurate method for calculating X-ray propagation is developed. Within this approach, the propagating wave is represented as a superposition of oriented Gaussian beams. The direction of wave propagation in each Gaussian beam agrees with the local direction of propagation of the X-ray wavefront. When calculating the propagation of X-ray waves through lenses, the thin lens approximation is applied. In this approximation,...
-
Periodic expansion in determining minimal sets of Lefschetz periods for Morse–Smale diffeomorphisms
PublicationWe apply the representation of Lefschetz numbers of iterates in the form of periodic expansion to determine the minimal sets of Lefschetz periods of Morse–Smale diffeomorphisms. Applying this approach we present an algorithmic method of finding the family of minimal sets of Lefschetz periods for Ng, a non-orientable compact surfaces without boundary of genus g. We also partially confirm the conjecture of Llibre and Sirvent (J Diff...
-
Periodic Points for Sphere Maps Preserving MonopoleFoliations
PublicationLet S^2 be a two-dimensional sphere. We consider two types of its foliations with one singularity and maps f:S^2→S^2 preserving these foliations, more and less regular. We prove that in both cases f has at least |deg(f)| fixed points, where deg(f) is a topological degree of f. In particular, the lower growth rate of the number of fixed points of the iterations of f is at least log|deg(f)|. This confirms the Shub’s conjecture in...
Year 2018
-
Dynamics of a simplified HPT model in relation to 24h TSH profiles
PublicationWe propose a simplified mathematical model of the hypothalamus-pituitary-thyroid (HPT) axis in an endocrine system. The considered model is a modification of the model proposed by Mukhopadhyay and Bhattacharyya in [10]. Our system of delay differential equations reconstructs the HPT axis in relation to 24h profiles of human in physiological conditions. Homeostatic control of the thyroid-pituitary axis is considered by using...
-
Dynamics of Field Line Mappings in Magnetic Flux Tubes
PublicationWe study the topological constraints on the dynamics of magnetic field lines in flux tubes. Our approach is based on the application of the topological invariant: fixed point index. We consider periodic flux tubes and find various restrictions on the field lines that come from the sequence of fixed point indices of iterations. We also analyze the case of a tube with a cylindrical obstacle, deducing some special dynamical properties...
-
Fixed point indices of iterates of a low-dimensional diffeomorphism at a fixed point which is an isolated invariant set
PublicationLet f be an R^n-diffeomorphism, where n = 2, 3, for which {0} is an isolated invariant set. We determine all possible forms of the sequences of fixed point indices of iterates of f at 0, {ind(f n, 0)}_n, confirming in R3 the conjecture of Ruiz del Portal and Salazar (J Differ Equ 249, 989–1013, 2010).
-
Integrate-and-fire models with an almost periodic input function
PublicationWe investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and μ-almost periodic functions. Special attention is paid to the properties of the firing map and its displacement, which give information about the spiking behavior of the considered system. We provide conditions under which such maps are well-defined and are uniformly continuous. We show that the LIF models with Stepanov almost periodic...
-
Mathematical analysis of a generalised p53-Mdm2 protein gene expression model
PublicationWe propose the generalisation of the p53-Mdm2 protein gene expression model introduced by Monk (2003). We investigate the stability of a unique positive steady state and formulate conditions which guarantee the occurrence of the Hopf bifurcation. We show that oscillatory behaviour can be caused not only by time lag in protein transcription process, but also can be present in the model without time delay. Moreover, we investigate...
-
Rothe’s method for physiologically structured models with diffusion
PublicationWe consider structured population models with diffusion and dynamic boundary conditions. The respective approximation, called Rothe’s method, produces positive and exponentially bounded solutions. Its solutions converge to the exact solution of the original PDE.
-
Shub’s conjecture for smooth longitudinal maps of S^m
PublicationLet f be a smooth map of the m-dimensional sphere Sm to itself, preserving the longitudinal foliation. We estimate from below the number of fixed points of the iterates of f , reduce Shub’s conjecture for longitudinal maps to a lower dimensional classical version, and prove the conjecture in case m = 2 and in a weak form for m = 3.
Year 2017
-
A Hopf type theorem for equivariant local maps
PublicationWe study otopy classes of equivariant local maps and prove a Hopf type theorem for such maps in the case of a real finite-dimensional orthogonal representation of a compact Lie group.
-
Analysis of a gene expression model
PublicationWe study a mathematical model of gene transcription and protein synthesis with negative feedback. We consider a system of equations taking into account the number of active binding sites, the way in which dimers bind to DNA and time delay in translation process. For a simplified model that consist of three ordinary differential equations with time delay we derive conditions for stability of the positive steady state and for the...
-
Asymptotic Expansion Method with Respect to Small Parameter for Ternary Diffusion Models
PublicationTernary diffusion models lead to strongly coupled systems of PDEs. We choose the smallest diffusion coefficient as a small parameter in a power series expansion whose components fulfill relatively simple equations. Although this series is divergent, one can use its finite sums to derive feasible numerical approximations, e.g. finite difference methods (FDMs).
-
Discrete and continuous fractional persistence problems – the positivity property and applications
PublicationIn this article, we study the continuous and discrete fractional persistence problem which looks for the persistence of properties of a given classical (α=1) differential equation in the fractional case (here using fractional Caputo’s derivatives) and the numerical scheme which are associated (here with discrete Grünwald–Letnikov derivatives). Our main concerns are positivity, order preserving ,equilibrium points and stability...
-
GENERAL DYNAMIC PROJECTING OF MAXWELL EQUATIONS
PublicationA complete – system of Maxwell equations is splitting into independent subsystems by means of a special dynamic projecting technique. The technique relies upon a direct link between field components that determine correspondent subspaces. The explicit form of links and corresponding subspace evolution equations are obtained in conditions of certain symmetry, it is illustrated by examples of spherical and quasi-one-dimensional waves.
-
The Hopf type theorem for equivariant gradient local maps
PublicationWe construct a degree-type otopy invariant for equivariant gradient local maps in the case of a real finite-dimensional orthogonal representation of a compact Lie group. We prove that the invariant establishes a bijection between the set of equivariant gradient otopy classes and the direct sum of countably many copies of Z.
-
Visualization of short-term heart period variability with network tools as a method for quantifying autonomic drive
PublicationWe argue that network methods are successful in detecting nonlinear properties in the dynamics of autonomic nocturnal regulation in short-term variability. Two modes of visualization of networks constructed from RR-increments are proposed. The first is based on the handling of a state space. The state space of RR-increments can be modified by a bin size used to code a signal and by the role of a given vertex as the representation...
-
Wild oscillations in a nonlinear neuron model with resets: (I) Bursting, spike-adding and chaos
PublicationIn a series of two papers, we investigate the mechanisms by which complex oscillations are generated in a class of nonlinear dynamical systems with resets modeling the voltage and adaptation of neurons. This first paper presents mathematical analysis showing that the system can support bursts of any period as a function of model parameters, and that these are organized in a period-incrementing structure. In continuous dynamical...
-
Wild oscillations in a nonlinear neuron model with resets: (II) Mixed-mode oscillations
PublicationThis work continues the analysis of complex dynamics in a class of bidimensional nonlinear hybrid dynamical systems with resets modeling neuronal voltage dynamics with adaptation and spike emission. We show that these models can generically display a form of mixed-mode oscillations (MMOs), which are trajectories featuring an alternation of small oscillations with spikes or bursts (multiple consecutive spikes). The mechanism by...
Year 2016
-
A high-accuracy complex-phase method of simulating X-ray propagation through a multi-lens system
PublicationThe propagation of X-ray waves through an optical system consisting of many X-ray refractive lenses is considered. For solving the problem for an electromagnetic wave, a finite-difference method is applied. The error of simulation is analytically estimated and investigated. It was found that a very detailed difference grid is required for reliable and accurate calculations of the propagation of X-ray waves through a multi-lens...
-
A high-accuracy method of computation of x-ray waves propagation through an optical system consisting of many lenses
PublicationThe propagation of X-ray waves through an optical system consisting of many X-ray refractive lenses is considered. Two differential equations are contemplated for solving the problem for electromagnetic wave propagation: first – an equation for the electric field, second – an equation derived for a complex phase of an electric field. Both equations are solved by the use of a finite-difference method. The simulation error is estimated...
-
Computing algebraic transfer entropy and coupling directions via transcripts
PublicationMost random processes studied in nonlinear time series analysis take values on sets endowed with a group structure, e.g., the real and rational numbers, and the integers. This fact allows to associate with each pair of group elements a third element, called their transcript, which is defined as the product of the second element in the pair times the first one. The transfer entropy of two such processes is called algebraic transfer...
-
Fractional Problems with Right-Handed Riemann-Liouville Fractional Derivatives
PublicationIn this paper, we investigate the existence of solutions for advanced fractional differential equations containing the right-handed Riemann-Liouville fractional derivative both with nonlinear boundary conditions and also with initial conditions given at the end point T of interval [0,T ]. We use both the method of successive approximations, the Banach fixed point theorem and the monotone iterative technique, as well. Linear problems...
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
Minimal number of periodic points of smooth boundary-preserving self-maps of simply-connected manifolds
PublicationLet M be a smooth compact and simply-connected manifold with simply-connected boundary ∂M, r be a fixed odd natural number. We consider f, a C1 self-map of M, preserving ∂M . Under the assumption that the dimension of M is at least 4, we define an invariant Dr(f;M,∂M) that is equal to the minimal number of r-periodic points for all maps preserving ∂M and C1-homotopic to f. As an application, we give necessary and sufficient...
-
Multiple Solutions to Third-Order Differential Equations with Derivative Dependence and Deviating Arguments
PublicationIn this paper, we give some new results for multiplicity of positive (nonnegative) solutions for third-order differential equations with derivative dependence, deviating arguments and Stieltjes integral boundary conditions. We discuss our problem with advanced argument α and arbitrary β ∈ C([0,1],[0,1]), see problem (2). It means that argument β can change the character on [0,1], so β can be delayed in some set J ⊂ [0,1] and advanced...
-
Periodic points of latitudinal maps of the $m$-dimensional sphere
PublicationLet f be a smooth self-map of the m-dimensional sphere Sm. Under the assumption that f preserves latitudinal foliations with the fibres S1, we estimate from below the number of fixed points of the iterates of f. The paper generalizes the results obtained by Pugh and Shub and by Misiurewicz.
-
Structured populations with diffusion and Feller conditions
PublicationWe prove a weak maximum principle for structured population models with dynamic boundary conditions. We establish existence and positivity of solutions of these models and investigate the asymptotic behaviour of solutions. In particular, we analyse so called size profile.
-
Successive Iterative Method for Higher-Order Fractional Differential Equations Involving Stieltjes Integral Boundary Conditions
PublicationIn this paper, the existence of positive solutions to fractional differential equations with delayed arguments and Stieltjes integral boundary conditions is discussed. The convergence of successive iterative method of solving such problems is investigated. This allows us to improve some recent works. Some numerical examples illustrate the results.
-
The finite difference methods of computation of X-rays propagation through a system of many lenses
PublicationThe propagation of X-ray waves through an optical system consisting of many beryllium X-ray refrac- tive lenses is considered. In order to calculate the propagation of electromagnetic in the optical sys- tem, two differential equations are considered. First equation for an electric field of a monochromatic wave and the second equation derived for complex phase of the same electric The propagation of X-ray waves through an optical system...
Year 2015
-
An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
PublicationFor a given self-map f of M, a closed smooth connected and simply-connected manifold of dimension m 4, we provide an algorithm for estimating the values of the topological invariant D^m_r [f], which equals the minimal number of r-periodic points in the smooth homotopy class of f. Our results are based on the combinatorial scheme for computing D^m_r [f] introduced by G. Graff and J. Jezierski [J. Fixed Point Theory Appl. 13 (2013),...
-
ANALYSIS OF THE p53 PROTEIN GENE EXPRESSION MODEL
PublicationWe study the asymptotic behaviour of the solutions of the p53-Mdm2 model proposed by Monk (2003). The p53 gene is crucial for cellular inhibition of the angiogenesis process, while Mdm2 is a negative regulator of the p53 tumor-suppressor. We investigate the stability of the positive steady state and perform some numerical experiments.