-
Bijective Mapping Analysis to Extend the Theory of Functional Connections to Non-rectangular 2-dimensional Domains
Authors:
Daniele Mortari,
David Anas
Abstract:
This work presents an initial analysis of using bijective mappings to extend the Theory of Functional Connections to non-rectangular two-dimensional domains. Specifically, this manuscript proposes three different mappings techniques: a) complex mapping, b) projection mapping, and c) polynomial mapping. In that respect, an accurate least-squares approximated inverse mapping is also developed for th…
▽ More
This work presents an initial analysis of using bijective mappings to extend the Theory of Functional Connections to non-rectangular two-dimensional domains. Specifically, this manuscript proposes three different mappings techniques: a) complex mapping, b) projection mapping, and c) polynomial mapping. In that respect, an accurate least-squares approximated inverse mapping is also developed for those mappings having no closed-form inverse. The advantages and disadvantages of using these mappings are highlighted and a few examples are provided. Additionally, the paper shows how to replace boundary constraints expressed in terms of a piecewise sequence of functions with a single function, that is compatible and required by the Theory of Functional Connections already developed by rectangular domains.
△ Less
Submitted 28 July, 2020;
originally announced August 2020.
-
The Multivariate Theory of Functional Connections: Theory, Proofs, and Application in Partial Differential Equations
Authors:
Carl Leake,
Hunter Johnston,
Daniele Mortari
Abstract:
This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits the underlying functional structure presented in the seminal paper on the Theory of Functional Connections to ease the derivation of these interpolating functio…
▽ More
This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits the underlying functional structure presented in the seminal paper on the Theory of Functional Connections to ease the derivation of these interpolating functionals--called constrained expressions--and provides rigorous terminology that lends itself to straightforward derivations of mathematical proofs regarding the properties of these constrained expressions. Furthermore, the extension of the technique to and proofs in n-dimensions is immediate through a recursive application of the univariate formulation. In all, the results of this reformulation are compared to prior work to highlight the novelty and mathematical convenience of using this approach. Finally, the methodology presented in this paper is applied to two partial differential equations with different boundary conditions, and, when data is available, the results are compared to state-of-the-art methods.
△ Less
Submitted 6 August, 2020; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Extreme Theory of Functional Connections: A Physics-Informed Neural Network Method for Solving Parametric Differential Equations
Authors:
Enrico Schiassi,
Carl Leake,
Mario De Florio,
Hunter Johnston,
Roberto Furfaro,
Daniele Mortari
Abstract:
In this work we present a novel, accurate, and robust physics-informed method for solving problems involving parametric differential equations (DEs) called the Extreme Theory of Functional Connections, or X-TFC. The proposed method is a synergy of two recently developed frameworks for solving problems involving parametric DEs, 1) the Theory of Functional Connections, TFC, and the Physics-Informed…
▽ More
In this work we present a novel, accurate, and robust physics-informed method for solving problems involving parametric differential equations (DEs) called the Extreme Theory of Functional Connections, or X-TFC. The proposed method is a synergy of two recently developed frameworks for solving problems involving parametric DEs, 1) the Theory of Functional Connections, TFC, and the Physics-Informed Neural Networks, PINN. Although this paper focuses on the solution of exact problems involving parametric DEs (i.e. problems where the modeling error is negligible) with known parameters, X-TFC can also be used for data-driven solutions and data-driven discovery of parametric DEs. In the proposed method, the latent solution of the parametric DEs is approximated by a TFC constrained expression that uses a Neural Network (NN) as the free-function. This approximate solution form always analytically satisfies the constraints of the DE, while maintaining a NN with unconstrained parameters, like the Deep-TFC method. X-TFC differs from PINN and Deep-TFC; whereas PINN and Deep-TFC use a deep-NN, X-TFC uses a single-layer NN, or more precisely, an Extreme Learning Machine, ELM. This choice is based on the properties of the ELM algorithm. In order to numerically validate the method, it was tested over a range of problems including the approximation of solutions to linear and non-linear ordinary DEs (ODEs), systems of ODEs (SODEs), and partial DEs (PDEs). Furthermore, a few of these problems are of interest in physics and engineering such as the Classic Emden-Fowler equation, the Radiative Transfer (RT) equation, and the Heat-Transfer (HT) equation. The results show that X-TFC achieves high accuracy with low computational time and thus it is comparable with the other state-of-the-art methods.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Least-squares Solutions of Eighth-order Boundary Value Problems using the Theory of Functional Connections
Authors:
Hunter Johnston,
Carl Leake,
Daniele Mortari
Abstract:
This paper shows how to obtain highly accurate solutions of eighth-order boundary-value problems of linear and nonlinear ordinary differential equations. The presented method is based on the Theory of Functional Connections, and is solved in two steps. First, the Theory of Functional Connections analytically embeds the differential equation constraints into a candidate function (called a…
▽ More
This paper shows how to obtain highly accurate solutions of eighth-order boundary-value problems of linear and nonlinear ordinary differential equations. The presented method is based on the Theory of Functional Connections, and is solved in two steps. First, the Theory of Functional Connections analytically embeds the differential equation constraints into a candidate function (called a $constrained \, expression$) that contains a function that the user is free to choose. This expression always satisfies the constraints, no matter what the free function is. Second, the free-function is expanded as a linear combination of orthogonal basis functions with unknown coefficients. The constrained expression (and its derivatives) are then substituted into the eighth-order differential equation, transforming the problem into an unconstrained optimization problem where the coefficients in the linear combination of orthogonal basis functions are the optimization parameters. These parameters are then found by linear/nonlinear least-squares. The solution obtained from this method is a highly accurate analytical approximation of the true solution. Comparisons with alternative methods appearing in literature validate the proposed approach.
△ Less
Submitted 10 February, 2020;
originally announced February 2020.
-
Fuel-Efficient Powered Descent Guidance on Large Planetary Bodies via Theory of Functional Connections
Authors:
Hunter Johnston,
Enrico Schiassi,
Roberto Furfaro,
Daniele Mortari
Abstract:
In this paper we present a new approach to solve the fuel-efficient powered descent guidance problem on large planetary bodies with no atmosphere (e.g. the Moon or Mars) using the recently developed Theory of Functional Connections. The problem is formulated using the indirect method which casts the optimal guidance problem as a system of nonlinear two-point boundary value problems. Using the Theo…
▽ More
In this paper we present a new approach to solve the fuel-efficient powered descent guidance problem on large planetary bodies with no atmosphere (e.g. the Moon or Mars) using the recently developed Theory of Functional Connections. The problem is formulated using the indirect method which casts the optimal guidance problem as a system of nonlinear two-point boundary value problems. Using the Theory of Functional Connections, the problem constraints are analytically embedded into a "constrained expression," which maintains a free-function that is expanded using orthogonal polynomials with unknown coefficients. The constraints are satisfied regardless of the values of the unknown coefficients which convert the two-point boundary value problem into an unconstrained optimization problem. This process casts the solution into the admissible subspace of the problem and therefore simple numerical techniques can be used (i.e. in this paper a nonlinear least-squares method is used). In addition to the derivation of this technique, the method is validated in two scenarios and the results are compared to those obtained by the general purpose optimal control software, GPOPS-II. In general, the proposed technique produces solutions of $\mathcal{O}(10^{-10})$. Additionally, for the proposed test cases, it is reported that each individual TFC-based inner-loop iteration converges within 6 iterations, each iteration exhibiting a computational time between 72 and 81 milliseconds within the MATLAB legacy implementation. Consequently, the proposed methodology is potentially suitable for on-board generation of optimal trajectories in real-time.
△ Less
Submitted 10 January, 2020;
originally announced January 2020.
-
Least-squares solutions of boundary-value problems in hybrid systems
Authors:
Hunter Johnston,
Daniele Mortari
Abstract:
This paper looks to apply the mathematical framework of the Theory of Functional Connections to the solution of boundary-value problems arising from hybrid systems. The Theory of Functional Connections is a technique to derive constrained expressions which are analytical expressions with embedded constraints. These expressions are particularly suitable to transform a large class of constrained opt…
▽ More
This paper looks to apply the mathematical framework of the Theory of Functional Connections to the solution of boundary-value problems arising from hybrid systems. The Theory of Functional Connections is a technique to derive constrained expressions which are analytical expressions with embedded constraints. These expressions are particularly suitable to transform a large class of constrained optimization problems into unconstrained problems. The initial and most useful application of this technique is in the solution of differential equations where the problem can be posed as an unconstrained optimization problem and solved with simple numerical techniques (i.e. least-squares).
A hybrid system is simply a sequence of different differential equations. The approach developed in this work derives an analytical constrained expression for the entire range of a hybrid system, enforcing both the boundary conditions as well as the continuity conditions across the sequence of differential equations. This reduces the searched solution space of the hybrid system to only admissible solutions. The transformation allows for a least-squares solution of the sequence for linear differential equations and a iterative least-squares solution for nonlinear differential equations.
Lastly, the general formulation for "n" segments is developed and validation is provided through numerical tests for three differential equation sequences: linear/linear, linear/nonlinear, and nonlinear/nonlinear. The accuracy level obtained are all at machine-error, which is consistent with the accuracy experienced in past studies on the application of the Theory of Functional Connections to solve single ordinary differential equations.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Theory of functional connections applied to quadratic and nonlinear programming under equality constraints
Authors:
Tina Mai,
Daniele Mortari
Abstract:
This paper introduces an efficient approach to solve quadratic and nonlinear programming problems subject to linear equality constraints via the Theory of Functional Connections. This is done without using the traditional Lagrange multiplier technique. More specifically, two distinct expressions (fully satisfying the equality constraints) are provided, to first solve the constrained quadratic prog…
▽ More
This paper introduces an efficient approach to solve quadratic and nonlinear programming problems subject to linear equality constraints via the Theory of Functional Connections. This is done without using the traditional Lagrange multiplier technique. More specifically, two distinct expressions (fully satisfying the equality constraints) are provided, to first solve the constrained quadratic programming problem as an unconstrained one for closed-form solution. Such expressions are derived via using an optimization variable vector, which is called the free vector $\boldsymbol{g}$ by the Theory of Functional Connections. In the spirit of this Theory, for the equality constrained nonlinear programming problem, its solution is obtained by the Newton's method combining with elimination scheme in optimization. Convergence analysis is supported by a numerical example for the proposed approach.
△ Less
Submitted 25 August, 2022; v1 submitted 10 October, 2019;
originally announced October 2019.
-
The Tensor Theory of Connections
Authors:
Daniele Mortari,
Carl Leake
Abstract:
This paper extends the univariate Theory of Connections, introduced in (Mortari,2017), to the multivariate case on rectangular domains with detailed attention to the bivariate case. In particular, it generalizes the bivariate Coons surface, introduced by (Coons,1984), by providing analytical expressions, called "constrained expressions," representing all possible surfaces with assigned boundary co…
▽ More
This paper extends the univariate Theory of Connections, introduced in (Mortari,2017), to the multivariate case on rectangular domains with detailed attention to the bivariate case. In particular, it generalizes the bivariate Coons surface, introduced by (Coons,1984), by providing analytical expressions, called "constrained expressions," representing all possible surfaces with assigned boundary constraints in terms of functions and arbitrary-order derivatives. In two dimensions, these expressions, which contain a freely chosen function, g(x,y), satisfy all constraints no matter what the g(x,y) is. The boundary constraints considered in this article are Dirichlet, Neumann, and any combinations of them. Although the focus of this article is on two-dimensional spaces, the final section introduces the "Tensor Theory of Connections," validated by mathematical proof. This represents the multivariate extension of the Theory of Connections subject to arbitrary-order derivative constraints in rectangular domains. The main task of this paper is to provide an analytical procedure to obtain constrained expressions in any space that can be used to transform constrained problems into unconstrained problems. This theory is proposed mainly to better solve PDEs and stochastic differential equations.
△ Less
Submitted 1 March, 2019; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Groupoid models for the C*-algebra of labelled spaces
Authors:
Giuliano Boava,
Gilles G. de Castro,
Fernando de L. Mortari
Abstract:
We define a groupoid from a labelled space and show that it is isomorphic to the tight groupoid arising from an inverse semigroup associated with the labelled space. We then define a local homeomorphism on the tight spectrum that is a generalization of the shift map for graphs, and show that the defined groupoid is isomorphic to the Renault-Deaconu groupoid for this local homeomorphism. Finally, w…
▽ More
We define a groupoid from a labelled space and show that it is isomorphic to the tight groupoid arising from an inverse semigroup associated with the labelled space. We then define a local homeomorphism on the tight spectrum that is a generalization of the shift map for graphs, and show that the defined groupoid is isomorphic to the Renault-Deaconu groupoid for this local homeomorphism. Finally, we show that the C*-algebra of this groupoid is isomorphic to the C*-algebra of the labelled space as introduced by Bates and Pask.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
Cohomology for partial actions of Hopf algebras
Authors:
Eliezer Batista,
Alda D. M. Mortari,
Mateus M. Teixeira
Abstract:
In this work, the cohomology theory for partial actions of co-commutative Hopf algebras over commutative algebras is formulated. This theory generalizes the cohomology theory for Hopf algebras introduced by Sweedler and the cohomology theory for partial group actions, introduced by Dokuchaev and Khrypchenko. Some nontrivial examples, not coming from groups are constructed. Given a partial action o…
▽ More
In this work, the cohomology theory for partial actions of co-commutative Hopf algebras over commutative algebras is formulated. This theory generalizes the cohomology theory for Hopf algebras introduced by Sweedler and the cohomology theory for partial group actions, introduced by Dokuchaev and Khrypchenko. Some nontrivial examples, not coming from groups are constructed. Given a partial action of a co-commutative Hopf algebra $H$ over a commutative algebra $A$, we prove that there exists a new Hopf algebra $\widetilde{A}$, over a commutative ring $E(A)$, upon which $H$ still acts partially and which gives rise to the same cochain complex as the original algebra $A$. We also study the partially cleft extensions of commutative algebras by partial actions of cocommutative Hopf algebras and prove that these partially cleft extensions can be viewed as a cleft extensions by Hopf algebroids.
△ Less
Submitted 14 November, 2018; v1 submitted 12 September, 2017;
originally announced September 2017.
-
Least-squares Solutions of Linear Differential Equations
Authors:
Daniele Mortari
Abstract:
This study shows how to obtain least-squares solutions to initial and boundary value problems to nonhomogeneous linear differential equations with nonconstant coefficients of any order. However, without loss of generality, the approach has been applied to second order differential equations. The proposed method has two steps. The first step consists of writing a constrained expression, introduced…
▽ More
This study shows how to obtain least-squares solutions to initial and boundary value problems to nonhomogeneous linear differential equations with nonconstant coefficients of any order. However, without loss of generality, the approach has been applied to second order differential equations. The proposed method has two steps. The first step consists of writing a constrained expression, introduced in Ref. \cite{Mortari}, that has embedded the differential equation constraints. These expressions are given in term of a new unknown function, $g (t)$, and they satisfy the constraints, no matter what $g (t)$ is. The second step consists of expressing $g (t)$ as a linear combination of $m$ independent known basis functions, $g (t) = \mathbfξ^T \mathbf{h} (t)$. Specifically, Chebyshev orthogonal polynomials of the first kind are adopted for the basis functions. This choice requires rewriting the differential equation and the constraints in term of a new independent variable, $x\in[-1, +1]$. The procedure leads to a set of linear equations in terms of the unknown coefficients vector, $\mathbfξ,$ that is then computed by least-squares. Numerical examples are provided to quantify the solutions accuracy for initial and boundary values problems as well as for a control-type problem, where the state is defined in one point and the costate in another point.
△ Less
Submitted 24 February, 2017;
originally announced February 2017.
-
The Theory of Connections. Connecting Points
Authors:
Daniele Mortari
Abstract:
This study introduces a procedure to obtain general expressions, $y = f(x)$, subject to linear constraints on the function and its derivatives defined at specified values. These constrained expressions can be used describe functions with embedded specific constraints. The paper first shows how to express the most general explicit function passing through a single point in three distinct ways: line…
▽ More
This study introduces a procedure to obtain general expressions, $y = f(x)$, subject to linear constraints on the function and its derivatives defined at specified values. These constrained expressions can be used describe functions with embedded specific constraints. The paper first shows how to express the most general explicit function passing through a single point in three distinct ways: linear, additive, and rational. Then, functions with constraints on single, two, or multiple points are introduced as well as those satisfying relative constraints. This capability allows to obtain general expressions to solve linear differential equations with no need to satisfy constraints (the "subject to:" conditions) as the constraints are already embedded in the constrained expression. In particular, for expressions passing through a set of points, a generalization of the Waring's interpolation form, is introduced. The general form of additive constrained expressions is introduced as well as a procedure to derive its coefficient functions, requiring the inversion of a matrix with dimensions as the number of constraints.
△ Less
Submitted 17 May, 2017; v1 submitted 21 February, 2017;
originally announced February 2017.
-
C*-algebras of labelled spaces and their diagonal C*-subalgebras
Authors:
Giuliano Boava,
Gilles G. de Castro,
Fernando de L. Mortari
Abstract:
Motivated by Exel's inverse semigroup approach to combinatorial C*-algebras, in a previous work the authors defined an inverse semigroup associated with a labelled space. We construct a representation of the C*-algebra of a labelled space, inspired by how one might cut or glue labelled paths together, that proves that non-zero elements in the inverse semigroup correspond to non-zero elements in th…
▽ More
Motivated by Exel's inverse semigroup approach to combinatorial C*-algebras, in a previous work the authors defined an inverse semigroup associated with a labelled space. We construct a representation of the C*-algebra of a labelled space, inspired by how one might cut or glue labelled paths together, that proves that non-zero elements in the inverse semigroup correspond to non-zero elements in the C*-algebra. We also show that the spectrum of its diagonal C*-subalgebra is homeomorphic to the tight spectrum of the inverse semigroup associated with the labelled space.
△ Less
Submitted 19 July, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Inverse semigroups associated with labelled spaces and their tight spectra
Authors:
Giuliano Boava,
Gilles de Castro,
Fernando de L. Mortari
Abstract:
The notion of a labelled space was introduced by Bates and Pask in generalizing certain classes of C*-algebras. Motivated by Exel's work on inverse semigroups and combinatorial C*-algebras, we associate each weakly left resolving labelled space with an inverse semigroup, and characterize the tight spectrum of the latter in a way that is reminiscent of the description of the boundary path space of…
▽ More
The notion of a labelled space was introduced by Bates and Pask in generalizing certain classes of C*-algebras. Motivated by Exel's work on inverse semigroups and combinatorial C*-algebras, we associate each weakly left resolving labelled space with an inverse semigroup, and characterize the tight spectrum of the latter in a way that is reminiscent of the description of the boundary path space of a directed graph.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
