Search
Search results for: BORSUK ULAM THEOREM
-
Constructive Controllability for Incompressible Vector Fields
PublicationWe give a constructive proof of a global controllability result for an autonomous system of ODEs guided by bounded locally Lipschitz and divergence free (i.e. incompressible) vector field, when the phase space is the whole Euclidean space and the vector field satisfies so-called vanishing mean drift condition. For the case when the ODE is defined over some smooth compact connected Riemannian manifold, we significantly strengthen...
-
Existence of Two Periodic Solutions to General Anisotropic Euler-Lagrange Equations
PublicationAbstract. This paper is concerned with the following Euler-Lagrange system d/dtLv(t,u(t), ̇u(t)) =Lx(t,u(t), ̇u(t)) for a.e.t∈[−T,T], u(−T) =u(T), Lv(−T,u(−T), ̇u(−T)) =Lv(T,u(T), ̇u(T)), where Lagrangian is given by L=F(t,x,v) +V(t,x) +〈f(t),x〉, growth conditions aredetermined by an anisotropic G-function and some geometric conditions at infinity.We consider two cases: with and without forcing termf. Using a general version...
-
Hybridization of the FDTD method with use of the discrete Green's function
PublicationIn this contribution, a hybrid technique is presented which combines the finite-difference time-domain (FDTD) method and the discrete Green's function (DGF) formulation of this method. FDTD is a powerful technique for the analysis of complex penetrable objects but its application is not efficient when the computational domain includes many free-space cells. Therefore, the hybrid method was developed which is applicable to complex...
-
On the Limiting Distribution of Lempel-Ziv’78 Redundancy for Memoryless Sources
PublicationWe study the Lempel-Ziv'78 algorithm and show that its (normalized) redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper, in particular, by presenting a new simplified proof of the central limit theorem (CLT) for the number of phrases in the LZ'78 algorithm. We first analyze the asymptotic behavior of the total path length in the associated digital search...
-
On a comparison principle and the uniqueness of spectral flow
PublicationThe spectral flow is a well-known quantity in spectral theory that measures the variation of spectra about 0 along paths of selfadjoint Fredholm operators. The aim of this work is twofold. Firstly, we consider homotopy invariance properties of the spectral flow and establish a simple formula which comprises its classical homotopy invariance and yields a comparison theorem for the spectral flow under compact perturbations. We apply...
-
The saga of a fish: from a survival guide to closing lemmas
PublicationIn the paper by D. Burago, S. Ivanov and A. Novikov, “A survival guide for feeble fish”, it has been shown that a fish with limited velocity can reach any point in the (possibly unbounded) ocean provided that the fluid velocity field is incompressible, bounded and has vanishing mean drift. This result extends some known global controllability theorems though being substantially nonconstructive. We give a fish a different recipe...
-
Hybrid Technique Combining the FDTD Method and Its Convolution Formulation Based on the Discrete Green's Function
PublicationIn this letter, a technique combining the finite-difference time-domain (FDTD) method and its formulation based on the discrete Green's function (DGF) is presented. The hybrid method is applicable to inhomogeneous dielectric structures that are mutually coupled with wire antennas. The method employs the surface equivalence theorem in the discrete domain to separate the problem into a dielectric domain simulated using the FDTD method...
-
Application of the discrete Green's function-based antenna simulations for excitation of the total-field/scattered-field interface in the FDTD method
PublicationIn this article, the discrete Green's function formulation of the finite-difference time-domain (DGF-FDTD) method is proposed for simulation of wire antennas irradiating inhomogeneous dielectric scatterers. Surface equivalence theorem in the discrete domain is used to separate the problem into an inhomogeneous domain and a wire antenna that are simulated with the use of FDTD and DGF-FDTD, respectively. Then, the excitation of the...
-
Regularized Local Multivariate Reduced-Order Models With Nonaffine Parameter Dependence
PublicationThis paper addresses a singular problem, not yet discussed in the literature, which occurs when parametric reduced-order models are created using a subspace projection approach with multiple concatenated projection bases. We show that this technique may lead to the appearance of localized artifacts in the frequency characteristics of a system, even when the reduced-order projection basis is rich enough to describe the original...
-
Simulation of Wave Propagation in Media Described by Fractional-Order Models
PublicationIn this paper, algorithms for simulation of the wave propagation in electromagnetic media described by fractional-order (FO) models (FOMs) are presented. Initially, fractional calculus and FO Maxwell's equations are introduced. The problem of the wave propagation is formulated for media described by FOMs. Then, algorithms for simulation of the non-monochromatic wave propagation are presented which employ computations in the time...
-
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...
-
Speed observer of induction machine based on backstepping and sliding mode for low‐speed operation
PublicationThis paper presents a speed observer design based on backstepping and slidingmode approaches. The inputs to the observer are the stator current and thevoltage vector components. This observer structure is extended to the integra-tors. The observer stabilizing functions contain the appropriate sliding surfaceswhich result from the Lyapunov function. The rotor angular speed is obtainedfrom the non‐adaptive formula with a sliding...
-
Mieszanie w klasie niejednorodnych łańcuchów Markowa i kwadratowych operatorów stochastycznych
PublicationRozprawa doktorska poświęcona jest zagadnieniu asymptotycznych własności w klasie nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym oraz w klasie kwadratowych operatorów stochastycznych. W pierwszej kolejności definiowane są różne rodzaje asymptotycznego zachowania (mieszania) niejednorodnych łańcuchów Markowa odpowiadające zbieżności w normowej i mocnej topologii operatorowej oraz omówione są relacje...
-
Dynamics of S-unimodal maps used in population modeling.
Open Research DataS-unimodal maps are maps of the interval with negative Schwarzian derivative and having only one turning point (such that the map is increasing to the left of the turning point and decreasing to the right of it). Theory of S-unimodal maps is now a well-developed branch of discrete dynamical systems, including famous Singer theorem which implies existence...
-
On weak solutions of the boundary value problem within linear dilatational strain gradient elasticity for polyhedral Lipschitz domains
PublicationWe provide the proof of an existence and uniqueness theorem for weak solutions of the equilibrium problem in linear dilatational strain gradient elasticity for bodies occupying, in the reference configuration, Lipschitz domains with edges. The considered elastic model belongs to the class of so-called incomplete strain gradient continua whose potential energy density depends quadratically on linear strains and on the gradient of...
-
Non-Adaptive Rotor Speed Estimation of Induction Machine in an Adaptive Full-Order Observer
PublicationIn the sensorless control system of an induction machine, the rotor speed value is not measured but reconstructed by an observer structure. The rotor speed value can be reconstructed by the classical adaptive law with the integrator. The second approach, which is the main contribution of this paper, is the non-adaptive structure without an integrator. The proposed method of the rotor speed reconstruction is based on an algebraic...
-
Analytical Methods for Causality Evaluation of Photonic Materials
PublicationWe comprehensively review several general methods and analytical tools used for causality evaluation of photonic materials. Our objective is to call to mind and then formulate, on a mathematically rigorous basis, a set of theorems which can answer the question whether a considered material model is causal or not. For this purpose, a set of various distributional theorems presented in literature is collected as the distributional...
-
Towards More Realistic Probabilistic Models for Data Structures: The External Path Length in Tries under the Markov Model
PublicationTries are among the most versatile and widely used data structures on words. They are pertinent to the (internal) structure of (stored) words and several splitting procedures used in diverse contexts ranging from document taxonomy to IP addresses lookup, from data compression (i.e., Lempel- Ziv'77 scheme) to dynamic hashing, from partial-match queries to speech recognition, from leader election algorithms to distributed hashing...
-
Restrained differential of a graph
PublicationGiven a graph $G=(V(G), E(G))$ and a vertex $v\in V(G)$, the {open neighbourhood} of $v$ is defined to be $N(v)=\{u\in V(G) :\, uv\in E(G)\}$. The {external neighbourhood} of a set $S\subseteq V(G)$ is defined as $S_e=\left(\cup_{v\in S}N(v)\right)\setminus S$, while the \emph{restrained external neighbourhood} of $S$ is defined as $S_r=\{v\in S_e : N(v)\cap S_e\neq \varnothing\}$. The restrained differential of a graph $G$ is...
-
On possible applications of media described by fractional-order models in electromagnetic cloaking
PublicationThe purpose of this paper is to open a scientific discussion on possible applications of media described by fractional-order (FO) models (FOMs) in electromagnetic cloaking. A 2-D cloak based on active sources and the surface equivalence theorem is simulated. It employs a medium described by FOM in communication with sources cancelling the scattered field. A perfect electromagnetic active cloak is thereby demonstrated with the use...
-
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublicationOne of the striking properties of quantum mechanics is the occurrence of the Bell-type non-locality. They are a fundamental feature of the theory that allows two parties that share an entangled quantum system to observe correlations stronger than possible in classical physics. In addition to their theoretical significance, non-local correlations have practical applications, such as device-independent randomness generation, providing...
-
On symmetric extendibility of quantum states and its applications
PublicationThis dissertation is focused on analysis of the symmetric extendibility of quantum states and its applications in the quantum information theory, with special attention paid to the area of quantum entanglement distillation, quantum channels theory, quantum security, and monogamy of quantum entanglement in time. We analyze geometry of the set of symmetric extendible states, i.e. such states that possess symmetric extensions and...
-
On the well posedness of static boundary value problem within the linear dilatational strain gradient elasticity
PublicationIn this paper, it is proven an existence and uniqueness theorem for weak solutions of the equilibrium problem for linear isotropic dilatational strain gradient elasticity. Considered elastic bodies have as deformation energy the classical one due to Lamé but augmented with an additive term that depends on the norm of the gradient of dilatation: only one extra second gradient elastic coefficient is introduced. The studied class...