-
Carleman Lifting for Nonlinear System Identification with Guaranteed Error Bounds
Authors:
Moad Abudia,
Joel A. Rosenfeld,
Rushikesh Kamalapurkar
Abstract:
This paper concerns identification of uncontrolled or closed loop nonlinear systems using a set of trajectories that are generated by the system in a domain of attraction. The objective is to ensure that the trajectories of the identified systems are close to the trajectories of the real system, as quantified by an error bound that is prescribed a priori. A majority of existing methods for nonline…
▽ More
This paper concerns identification of uncontrolled or closed loop nonlinear systems using a set of trajectories that are generated by the system in a domain of attraction. The objective is to ensure that the trajectories of the identified systems are close to the trajectories of the real system, as quantified by an error bound that is prescribed a priori. A majority of existing methods for nonlinear system identification rely on techniques such as neural networks, autoregressive moving averages, and spectral decomposition that do not provide systematic approaches to meet pre-defined error bounds. The developed method is based on Carleman linearization-based lifting of the nonlinear system to an infinite dimensional linear system. The linear system is then truncated to a suitable order, computed based on the prescribed error bound, and parameters of the truncated linear system are estimated from data. The effectiveness of the technique is demonstrated by identifying an approximation of the Van der Pol oscillator from data within a prescribed error bound.
△ Less
Submitted 22 October, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Singular Dynamic Mode Decompositions
Authors:
Joel A. Rosenfeld,
Rushikesh Kamalapurkar
Abstract:
This manuscript is aimed at addressing several long standing limitations of dynamic mode decompositions in the application of Koopman analysis. Principle among these limitations are the convergence of associated Dynamic Mode Decomposition algorithms and the existence of Koopman modes. To address these limitations, two major modifications are made, where Koopman operators are removed from the analy…
▽ More
This manuscript is aimed at addressing several long standing limitations of dynamic mode decompositions in the application of Koopman analysis. Principle among these limitations are the convergence of associated Dynamic Mode Decomposition algorithms and the existence of Koopman modes. To address these limitations, two major modifications are made, where Koopman operators are removed from the analysis in light of Liouville operators (known as Koopman generators in special cases), and these operators are shown to be compact for certain pairs of Hilbert spaces selected separately as the domain and range of the operator. While eigenfunctions are discarded in the general analysis, a viable reconstruction algorithm is still demonstrated, and the sacrifice of eigenfunctions realizes the theoretical goals of DMD analysis that have yet to be achieved in other contexts. However, in the case where the domain is embedded in the range, an eigenfunction approach is still achievable, where a more typical DMD routine is established, but that leverages a finite rank representation that converges in norm. The manuscript concludes with the description of two Dynamic Mode Decomposition algorithms that converges when a dense collection of occupation kernels, arising from the data, are leveraged in the analysis.
△ Less
Submitted 13 June, 2021; v1 submitted 6 June, 2021;
originally announced June 2021.
-
An occupation kernel approach to optimal control
Authors:
Rushikesh Kamalapurkar,
Joel A. Rosenfeld
Abstract:
In this effort, a novel operator theoretic framework is developed for data-driven solution of optimal control problems. The developed methods focus on the use of trajectories (i.e., time-series) as the fundamental unit of data for the resolution of optimal control problems in dynamical systems. Trajectory information in the dynamical systems is embedded in a reproducing kernel Hilbert space (RKHS)…
▽ More
In this effort, a novel operator theoretic framework is developed for data-driven solution of optimal control problems. The developed methods focus on the use of trajectories (i.e., time-series) as the fundamental unit of data for the resolution of optimal control problems in dynamical systems. Trajectory information in the dynamical systems is embedded in a reproducing kernel Hilbert space (RKHS) through what are called occupation kernels. The occupation kernels are tied to the dynamics of the system through the densely defined Liouville operator. The pairing of Liouville operators and occupation kernels allows for lifting of nonlinear finite-dimensional optimal control problems into the space of infinite-dimensional linear programs over RKHSs.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
The kernel perspective on dynamic mode decomposition
Authors:
Efrain Gonzalez,
Moad Abudia,
Michael Jury,
Rushikesh Kamalapurkar,
Joel A. Rosenfeld
Abstract:
This manuscript revisits theoretical assumptions concerning dynamic mode decomposition (DMD) of Koopman operators, including the existence of lattices of eigenfunctions, common eigenfunctions between Koopman operators, and boundedness and compactness of Koopman operators. Counterexamples that illustrate restrictiveness of the assumptions are provided for each of the assumptions. In particular, thi…
▽ More
This manuscript revisits theoretical assumptions concerning dynamic mode decomposition (DMD) of Koopman operators, including the existence of lattices of eigenfunctions, common eigenfunctions between Koopman operators, and boundedness and compactness of Koopman operators. Counterexamples that illustrate restrictiveness of the assumptions are provided for each of the assumptions. In particular, this manuscript proves that the native reproducing kernel Hilbert space (RKHS) of the Gaussian RBF kernel function only supports bounded Koopman operators if the dynamics are affine. In addition, a new framework for DMD, that requires only densely defined Koopman operators over RKHSs is introduced, and its effectiveness is demonstrated through numerical examples.
△ Less
Submitted 17 April, 2023; v1 submitted 31 May, 2021;
originally announced June 2021.
-
Control Occupation Kernel Regression for Nonlinear Control-Affine Systems
Authors:
Moad Abudia,
Tejasvi Channagiri,
Joel A. Rosenfeld,
Rushikesh Kamalapurkar
Abstract:
This manuscript presents an algorithm for obtaining an approximation of nonlinear high order control affine dynamical systems, that leverages the controlled trajectories as the central unit of information. As the fundamental basis elements leveraged in approximation, higher order control occupation kernels represent iterated integration after multiplication by a given controller in a vector valued…
▽ More
This manuscript presents an algorithm for obtaining an approximation of nonlinear high order control affine dynamical systems, that leverages the controlled trajectories as the central unit of information. As the fundamental basis elements leveraged in approximation, higher order control occupation kernels represent iterated integration after multiplication by a given controller in a vector valued reproducing kernel Hilbert space. In a regularized regression setting, the unique optimizer for a particular optimization problem is expressed as a linear combination of these occupation kernels, which converts an infinite dimensional optimization problem to a finite dimensional optimization problem through the representer theorem. Interestingly, the vector valued structure of the Hilbert space allows for simultaneous approximation of the drift and control effectiveness components of the control affine system. Several experiments are performed to demonstrate the effectiveness of the approach.
△ Less
Submitted 31 May, 2021;
originally announced June 2021.
-
Liouville Operators over the Hardy Space
Authors:
Benjamin P. Russo,
Joel A. Rosenfeld
Abstract:
The role of Liouville operators in the study of dynamical systems through the use of occupation measures have been an active area of research in control theory over the past decade. This manuscript investigates Liouville operators over the Hardy space, which encode complex ordinary differential equations in an operator over a reproducing kernel Hilbert space.
The role of Liouville operators in the study of dynamical systems through the use of occupation measures have been an active area of research in control theory over the past decade. This manuscript investigates Liouville operators over the Hardy space, which encode complex ordinary differential equations in an operator over a reproducing kernel Hilbert space.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Occupation Kernel Hilbert Spaces for Fractional Order Liouville Operators and Dynamic Mode Decomposition
Authors:
Joel A. Rosenfeld,
Benjamin Russo,
Xiuying Li
Abstract:
This manuscript gives a theoretical framework for a new Hilbert space of functions, the so called occupation kernel Hilbert space (OKHS), that operate on collections of signals rather than real or complex numbers. To support this new definition, an explicit class of OKHSs is given through the consideration of a reproducing kernel Hilbert space (RKHS). This space enables the definition of nonlocal…
▽ More
This manuscript gives a theoretical framework for a new Hilbert space of functions, the so called occupation kernel Hilbert space (OKHS), that operate on collections of signals rather than real or complex numbers. To support this new definition, an explicit class of OKHSs is given through the consideration of a reproducing kernel Hilbert space (RKHS). This space enables the definition of nonlocal operators, such as fractional order Liouville operators, as well as spectral decomposition methods for corresponding fractional order dynamical systems. In this manuscript, a fractional order DMD routine is presented, and the details of the finite rank representations are given. Significantly, despite the added theoretical content through the OKHS formulation, the resultant computations only differ slightly from that of occupation kernel DMD methods for integer order systems posed over RKHSs.
△ Less
Submitted 17 April, 2022; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Motion Tomography via Occupation Kernels
Authors:
Benjamin P. Russo,
Rushikesh Kamalapurkar,
Dongsik Chang,
Joel A. Rosenfeld
Abstract:
The goal of motion tomography is to recover a description of a vector flow field using information on the trajectory of a sensing unit. In this paper, we develop a predictor corrector algorithm designed to recover vector flow fields from trajectory data with the use of occupation kernels developed by Rosenfeld et al.. Specifically, we use the occupation kernels as an adaptive basis; that is, the t…
▽ More
The goal of motion tomography is to recover a description of a vector flow field using information on the trajectory of a sensing unit. In this paper, we develop a predictor corrector algorithm designed to recover vector flow fields from trajectory data with the use of occupation kernels developed by Rosenfeld et al.. Specifically, we use the occupation kernels as an adaptive basis; that is, the trajectories defining our occupation kernels are iteratively updated to improve the estimation on the next stage. Initial estimates are established, then under mild assumptions, such as relatively straight trajectories, convergence is proven using the Contraction Map** Theorem. We then compare to the established method by Chang et al. by defining a set of error metrics. We found that for simulated data, which provides a ground truth, our method offers a marked improvement and that for a real-world example we have similar results to the established method.
△ Less
Submitted 7 February, 2021; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Theoretical Foundations for the Dynamic Mode Decomposition of High Order Dynamical Systems
Authors:
Joel A. Rosenfeld,
Benjamin P. Russo,
Rushikesh Kamalapurkar
Abstract:
Conventionally, data driven identification and control problems for higher order dynamical systems are solved by augmenting the system state by the derivatives of the output to formulate first order dynamical systems in higher dimensions. However, solution of the augmented problem typically requires knowledge of the full augmented state, which requires numerical differentiation of the original out…
▽ More
Conventionally, data driven identification and control problems for higher order dynamical systems are solved by augmenting the system state by the derivatives of the output to formulate first order dynamical systems in higher dimensions. However, solution of the augmented problem typically requires knowledge of the full augmented state, which requires numerical differentiation of the original output, frequently resulting in noisy signals. This manuscript develops the theory necessary for a direct analysis of higher order dynamical systems using higher order Liouville operators. Fundamental to this theoretical development is the introduction of signal valued RKHSs and new operators posed over these spaces. Ultimately, it is observed that despite the added abstractions, the necessary computations are remarkably similar to that of first order DMD methods using occupation kernels.
△ Less
Submitted 31 May, 2021; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Dynamic Mode Decomposition with Control Liouville Operators
Authors:
Joel A. Rosenfeld,
Rushikesh Kamalapurkar
Abstract:
This paper builds the theoretical foundations for dynamic mode decomposition (DMD) of control-affine dynamical systems by leveraging the theory of vector-valued reproducing kernel Hilbert spaces (RKHSs). Specifically, control Liouville operators and control occupation kernels are introduced to separate the drift dynamics from the input dynamics. A given feedback controller is represented through a…
▽ More
This paper builds the theoretical foundations for dynamic mode decomposition (DMD) of control-affine dynamical systems by leveraging the theory of vector-valued reproducing kernel Hilbert spaces (RKHSs). Specifically, control Liouville operators and control occupation kernels are introduced to separate the drift dynamics from the input dynamics. A given feedback controller is represented through a multiplication operator and a composition of the control Liouville operator and the multiplication operator is used to express the nonlinear closed-loop system as a linear total derivative operator on RKHSs. A spectral decomposition of a finite-rank representation of the total derivative operator yields a DMD of the closed-loop system. The DMD generates a model that can be used to predict the trajectories of the closed-loop system. For a large class of systems, the total derivative operator is shown to be compact provided the domain and the range RKHSs are selected appropriately. The sequence of models, resulting from increasing-rank finite-rank representations of the compact total derivative operator, are shown to converge to the true system dynamics, provided sufficiently rich data are available. Numerical experiments are included to demonstrate the efficacy of the developed technique.
△ Less
Submitted 17 March, 2024; v1 submitted 7 January, 2021;
originally announced January 2021.
-
The Gradient descent method from the perspective of fractional calculus
Authors:
Pham Viet Hai,
Joel A. Rosenfeld
Abstract:
Motivated by gradient methods in optimization theory, we give methods based on $ψ$-fractional derivatives of order $α$ in order to solve unconstrained optimization problems. The convergence of these methods is analyzed in detail. This paper also presents an Adams-Bashforth-Moulton (ABM) method for the estimation of solutions to equations involving $ψ$-fractional derivatives. Numerical examples usi…
▽ More
Motivated by gradient methods in optimization theory, we give methods based on $ψ$-fractional derivatives of order $α$ in order to solve unconstrained optimization problems. The convergence of these methods is analyzed in detail. This paper also presents an Adams-Bashforth-Moulton (ABM) method for the estimation of solutions to equations involving $ψ$-fractional derivatives. Numerical examples using the ABM method show that the fractional order $α$ and weight $ψ$ are tunable parameters, which can be helpful for improving the performance of gradient descent methods.
△ Less
Submitted 21 December, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator
Authors:
Joel A. Rosenfeld,
Rushikesh Kamalapurkar,
L. Forest Gruss,
Taylor T. Johnson
Abstract:
Dynamic Mode Decomposition (DMD) has become synonymous with the Koopman operator, where continuous time dynamics are examined through a discrete time proxy determined by a fixed timestep using Koopman (i.e. composition) operators. Using the newly introduced "occupation kernels," the present manuscript develops an approach to DMD that treats continuous time dynamics directly through the Liouville o…
▽ More
Dynamic Mode Decomposition (DMD) has become synonymous with the Koopman operator, where continuous time dynamics are examined through a discrete time proxy determined by a fixed timestep using Koopman (i.e. composition) operators. Using the newly introduced "occupation kernels," the present manuscript develops an approach to DMD that treats continuous time dynamics directly through the Liouville operator, which can include Koopman generators. This manuscript outlines the technical and theoretical differences between Koopman based DMD for discrete time systems and Liouville based DMD for continuous time systems, which includes an examination of these operators over several reproducing kernel Hilbert spaces (RKHSs). While Liouville operators are modally unbounded, this manuscript introduces the concept of a scaled Liouville operator, which for many dynamical systems yields a compact operator over the exponential dot product kernel's native space. Hence, norm convergence of the DMD procedure is established when using scaled Liouville operators, which is a decided advantage over Koopman based DMD methods.
△ Less
Submitted 28 May, 2021; v1 submitted 9 October, 2019;
originally announced October 2019.
-
The Occupation Kernel Method for Nonlinear System Identification
Authors:
Joel A. Rosenfeld,
Benjamin Russo,
Rushikesh Kamalapurkar,
Taylor T. Johnson
Abstract:
This manuscript presents a novel approach to nonlinear system identification leveraging densely defined Liouville operators and a new "kernel" function that represents an integration functional over a reproducing kernel Hilbert space (RKHS) dubbed an occupation kernel. The manuscript thoroughly explores the concept of occupation kernels in the contexts of RKHSs of continuous functions, and establi…
▽ More
This manuscript presents a novel approach to nonlinear system identification leveraging densely defined Liouville operators and a new "kernel" function that represents an integration functional over a reproducing kernel Hilbert space (RKHS) dubbed an occupation kernel. The manuscript thoroughly explores the concept of occupation kernels in the contexts of RKHSs of continuous functions, and establishes Liouville operators over RKHS where several dense domains are found for specific examples of this unbounded operator. The combination of these two concepts allow for the embedding of a dynamical system into a RKHS, where function theoretic tools may be leveraged for the examination of such systems. This framework allows for trajectories of a nonlinear dynamical system to be treated as a fundamental unit of data for nonlinear system identification routine. The approach to nonlinear system identification is demonstrated to identify parameters of a dynamical system accurately, while also exhibiting a certain robustness to noise.
△ Less
Submitted 15 June, 2021; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
Authors:
Weiming Xiang,
Hoang-Dung Tran,
Joel A. Rosenfeld,
Taylor T. Johnson
Abstract:
In this work, the reachable set estimation and safety verification problems for a class of piecewise linear systems equipped with neural network controllers are addressed. The neural network is considered to consist of Rectified Linear Unit (ReLU) activation functions. A layer-by-layer approach is developed for the output reachable set computation of ReLU neural networks. The computation is formul…
▽ More
In this work, the reachable set estimation and safety verification problems for a class of piecewise linear systems equipped with neural network controllers are addressed. The neural network is considered to consist of Rectified Linear Unit (ReLU) activation functions. A layer-by-layer approach is developed for the output reachable set computation of ReLU neural networks. The computation is formulated in the form of a set of manipulations for a union of polytopes. Based on the output reachable set for neural network controllers, the output reachable set for a piecewise linear feedback control system can be estimated iteratively for a given finite-time interval. With the estimated output reachable set, the safety verification for piecewise linear systems with neural network controllers can be performed by checking the existence of intersections of unsafe regions and output reach set. A numerical example is presented to illustrate the effectiveness of our approach.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
Invariance-like results for Nonautonomous Switched Systems
Authors:
Rushikesh Kamalapurkar,
Joel A. Rosenfeld,
Anup Parikh,
Andrew R. Teel,
Warren E. Dixon
Abstract:
This paper generalizes the Lasalle-Yoshizawa Theorem to switched nonsmooth systems. Filippov and Krasovskii regularizations of a switched system are shown to be contained within the convex hull of the Filippov and Krasovskii regularizations of the subsystems, respectively. A candidate common Lyapunov function that has a negative semidefinite derivative along the trajectories of the subsystems is s…
▽ More
This paper generalizes the Lasalle-Yoshizawa Theorem to switched nonsmooth systems. Filippov and Krasovskii regularizations of a switched system are shown to be contained within the convex hull of the Filippov and Krasovskii regularizations of the subsystems, respectively. A candidate common Lyapunov function that has a negative semidefinite derivative along the trajectories of the subsystems is shown to be sufficient to establish LaSalle-Yoshizawa results for the switched system. Results for regular and non-regular candidate Lyapunov functions are presented using an appropriate generalization of the time derivative. The developed generalization is motivated by adaptive control of switched systems where the derivative of the candidate Lyapunov function is typically negative semidefinite.
△ Less
Submitted 29 August, 2017; v1 submitted 19 September, 2016;
originally announced September 2016.
-
State Following (StaF) Kernel Functions for Function Approximation
Authors:
Joel A. Rosenfeld,
Rushikesh Kamalapurkar,
Warren E. Dixon
Abstract:
A function approximation method is developed that aims to approximate a function in a small neighborhood of a state that travels within a compact set. The development is based on the theory of universal reproducing kernel Hilbert spaces over the $n$-dimensional Euclidean space. Several theorems are introduced that support the development of this State Following (StaF) method. In particular, it is…
▽ More
A function approximation method is developed that aims to approximate a function in a small neighborhood of a state that travels within a compact set. The development is based on the theory of universal reproducing kernel Hilbert spaces over the $n$-dimensional Euclidean space. Several theorems are introduced that support the development of this State Following (StaF) method. In particular, it is shown that there is a bound on the number of kernel functions required for the maintenance of an accurate function approximation as a state moves through a compact set. Additionally, a weight update law, based on gradient descent, is introduced where arbitrarily close accuracy can be achieved provided the weight update law is iterated at a sufficient frequency, as detailed in Theorem 6.1.
To illustrate the advantage, the impact of the StaF method is that for some applications the number of basis functions can be reduced. The StaF method is applied to an adaptive dynamic programming (ADP) application to demonstrate that stability is maintained with a reduced number of basis functions.
Simulation results demonstrate the utility of the StaF methodology for the maintenance of accurate function approximation as well as solving an infinite horizon optimal regulation problem through ADP. The results of the simulation indicate that fewer basis functions are required to guarantee stability and approximate optimality than are required when a global approximation approach is used.
△ Less
Submitted 10 December, 2015; v1 submitted 16 March, 2015;
originally announced March 2015.
-
Introducing the Polylogarithmic Hardy Space
Authors:
Joel A. Rosenfeld
Abstract:
In this paper we investigate the reproducing kernel Hilbert space where the polylogarithm appears as kernel functions. This investigation begins with the properties of functions in this space, and here a connection to the classical Hardy space is shown through the Bose-Einstein integral equation. Next we consider function theoretic operators over the polylogarithmic Hardy space, such as multiplica…
▽ More
In this paper we investigate the reproducing kernel Hilbert space where the polylogarithm appears as kernel functions. This investigation begins with the properties of functions in this space, and here a connection to the classical Hardy space is shown through the Bose-Einstein integral equation. Next we consider function theoretic operators over the polylogarithmic Hardy space, such as multiplication and Toeplitz operators. It is determined that there are only trivial densely defined multiplication operators (and therefore only trivial bounded multipliers) over this space, which makes this space the first for which this has been found to be true. In the case of Toeplitz operators, a connection between a certain subset of these operators and the number theoretic divisor function is found. Finally, the paper concludes with an operator theoretic proof of the divisibility of the divisor function.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
Efficient model-based reinforcement learning for approximate online optimal
Authors:
Rushikesh Kamalapurkar,
Joel A. Rosenfeld,
Warren E. Dixon
Abstract:
In this paper the infinite horizon optimal regulation problem is solved online for a deterministic control-affine nonlinear dynamical system using the state following (StaF) kernel method to approximate the value function. Unlike traditional methods that aim to approximate a function over a large compact set, the StaF kernel method aims to approximate a function in a small neighborhood of a state…
▽ More
In this paper the infinite horizon optimal regulation problem is solved online for a deterministic control-affine nonlinear dynamical system using the state following (StaF) kernel method to approximate the value function. Unlike traditional methods that aim to approximate a function over a large compact set, the StaF kernel method aims to approximate a function in a small neighborhood of a state that travels within a compact set. Simulation results demonstrate that stability and approximate optimality of the control system can be achieved with significantly fewer basis functions than may be required for global approximation methods.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
Decentralized formation control with connectivity maintenance and collision avoidance under limited and intermittent sensing
Authors:
Teng-Hu Cheng,
Zhen Kan,
Joel A. Rosenfeld,
Warren E. Dixon
Abstract:
A decentralized switched controller is developed for dynamic agents to perform global formation configuration convergence while maintaining network connectivity and avoiding collision within agents and between stationary obstacles, using only local feedback under limited and intermittent sensing. Due to the intermittent sensing, constant position feedback may not be available for agents all the ti…
▽ More
A decentralized switched controller is developed for dynamic agents to perform global formation configuration convergence while maintaining network connectivity and avoiding collision within agents and between stationary obstacles, using only local feedback under limited and intermittent sensing. Due to the intermittent sensing, constant position feedback may not be available for agents all the time. Intermittent sensing can also lead to a disconnected network or collisions between agents. Using a navigation function framework, a decentralized switched controller is developed to navigate the agents to the desired positions while ensuring network maintenance and collision avoidance.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Supporting Lemmas for RISE-based Control Methods
Authors:
Rushikesh Kamalapurkar,
Joel A. Rosenfeld,
Justin Klotz,
Ryan J. Downey,
Warren E. Dixon
Abstract:
A class of continuous controllers termed Robust Integral of the Signum of the Error (RISE) have been published over the last decade as a means to yield asymptotic convergence of the tracking error for classes of nonlinear systems that are subject to exogenous disturbances and/or modeling uncertainties. The development of this class of controllers relies on a property related to the integral of the…
▽ More
A class of continuous controllers termed Robust Integral of the Signum of the Error (RISE) have been published over the last decade as a means to yield asymptotic convergence of the tracking error for classes of nonlinear systems that are subject to exogenous disturbances and/or modeling uncertainties. The development of this class of controllers relies on a property related to the integral of the signum of an error signal. A proof for this property is not available in previous literature. The stability of some RISE controllers is analyzed using differential inclusions. Such results rely on the hypothesis that a set of points is Lebesgue negligible. This paper states and proves two lemmas related to the properties.
△ Less
Submitted 26 May, 2015; v1 submitted 14 June, 2013;
originally announced June 2013.
-
Densely Defined Multiplication on the Sobolev Space
Authors:
Joel A. Rosenfeld
Abstract:
Following Sarason's classification of the densely defined multiplication operators over the Hardy space, we classify the densely defined multipliers over the Sobolev space, $W^{1,2}[0,1]$. In this paper we find that the collection of such multipliers for the Sobolev space is exactly the Sobolev space itself. This sharpens a result of Shields concerning bounded multipliers. The densely defined mult…
▽ More
Following Sarason's classification of the densely defined multiplication operators over the Hardy space, we classify the densely defined multipliers over the Sobolev space, $W^{1,2}[0,1]$. In this paper we find that the collection of such multipliers for the Sobolev space is exactly the Sobolev space itself. This sharpens a result of Shields concerning bounded multipliers. The densely defined multiplication operators over the subspace $W_0 = \{f \in W^{1,2}[0,1] : f(0)=f(1)=0 \}$ are also classified. In this case the densely defined multiplication operators can be written as a ratio of functions in $W_0$ where the denominator is non-vanishing. This is proved using a contructive argument.
△ Less
Submitted 3 April, 2014; v1 submitted 11 June, 2013;
originally announced June 2013.