Zhexian Li, Athanassios S. Fokas, Ketan SavlaZ. Li and K. Savla are with the Sonny Astani Department of Civil and Environmental Engineering, Los Angeles, CA. {zhexianl,ksavla}@usc.edu. A. S. Fokas is with the Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge, UK, Viterbi School of Engineering, University of Southern California, Los Angeles, California, USA, and Mathematics Research Center, Academy of Athens, Greece.K. Savla has financial interest in Xtelligent, Inc.
Abstract
We consider the linear quadratic regulator of the heat equation on a finite interval.Previous frequency-domain methods for this problem rely on discrete Fourier transform and require symmetric boundary conditions.We use the Fokas method to derive the optimal control law for general Dirichlet and Neumann boundary conditions.The Fokas method uses the continuous Fourier transform restricted to the bounded spatial domain, with the frequency domain extended from the real line to the complex plane.This extension, together with results from complex analysis, allows us to eliminate the dependence of the optimal control on the unknown boundary values.As a result, we derive an integral representation of the control similar to the inverse Fourier transform.This representation contains integrals along complex contours and only depends on known initial and boundary conditions.We also show that for the hom*ogeneous Dirichlet boundary value problem, the integral representation recovers an existing series representation of the optimal control.Moreover, the integral representation exhibits numerical advantages compared to the traditional series representation.
I Introduction
Following the seminal paper [1], there has been a great interest in optimal control of spatially invariant systems using frequency-domain methods, e.g., see [2, 3].Spatially invariant systems are defined without boundaries, while most real-world systems are defined on finite spatial domains with boundary conditions.Although spatially invariant systems can be seen as approximations of large-scale but finite-extent systems, e.g., in [4], the effect of boundary conditions is not considered in this approximation.
Only a few studies target finite-extent systems with boundary conditions; see [5, 6].Both studies assumed symmetric boundary conditions and approached the problem by embedding finite-extent systems into equivalent spatially invariant systems.The embedding technique is motivated by the method of images that is used to solve boundary value problems for linear partial differential equations (PDEs) with some symmetry properties.Hence, their methods are also limited to certain symmetric boundary conditions.Although the control of finite systems with general boundary conditions is still quite open, studies have discussed potential extensions to estimation problem [7].
Recently, a unified approach, also known as the Fokas method, has been developed to provide solutions to linear and a class of nonlinear PDEs with general boundary conditions, see [8, 9, 10, 11]. Traditionally, linear PDEs with different types of boundary conditions require different specialized methods to obtain solutions. For example, sine transform and series are used for Dirichlet boundary value problems, and cosine transform and series are used for Neumann boundary value problems. In contrast to these specific approaches, the Fokas method uses only the Fourier transform to obtain solutions for all types of boundary conditions, with the frequency variable extended to the complex domain. Since the Fourier transform was initially used to analyze the optimal control of spatially invariant systems in [1], it is natural to explore the control of finite-extent systems with boundary conditions using the Fokas method.
Unlike the boundary control setting previously dealt with by the Fokas method in [12], the linear quadratic control appears in PDEs as a forcing term that depends on the states and boundary conditions. Still, we show that the Fokas method can derive an integral representation of the optimal control. Furthermore, the integral control law results in an integral representation of the state that uniformly converges to the boundary conditions, while the series representation does not for nonzero boundary conditions. Also, the numerical computation of integral representations is much easier than computing series representations. It is important to note that the Fokas method applies to general linear PDEs. Thus, our approach can be extended to other linear PDEs, beyond the heat equation.
The contributions of the paper are as follows.First, we derive the control law in the complex domain for the linear quadratic regulator of the heat equation using the unified Fourier transform.The optimal control law depends on the Neumann and Dirichlet boundary conditions, whereas only one of these two is given.Second, we derive an integral representation of the optimal control that depends only on the given initial and boundary conditions and thus can be directly evaluated.Third, we show that the integral representation is equivalent to the series representation of the optimal control in [6] for the hom*ogeneous Dirichlet boundary value problem.We numerically evaluate our integral representation of the control and demonstrate its numerical advantages over the series representation.
The paper is organized as follows: we formulate the linear quadratic regulator problem for the heat equation in SectionII.Then, we derive the transformed optimal control law in SectionIII.We consider the special case of infinite-time control in SectionIV.SectionV derives the integral representation of the optimal control.We compare our integral representation of the control and an existing control form in SectionVI.SectionVII concludes our findings and gives future directions.
II Problem formulation
Consider the following heat equation in the domain , with distributed heat injection
(1) |
and initial condition . We will denote the Dirichlet and Neumann boundary values by and , i.e.,
(2) | |||||
Either the pair of Dirichlet boundary values or Neumann boundary values is provided.Our goal is to find an optimal control , minimizing the objective functional
(3) |
subject to dynamics (1). The main challenge is the unknown relation between the known and unknown boundary values. We will use the Fokas method to represent the unknown boundary values in terms of given initial boundary conditions.
III The transformed finite-time optimal control law
First, we show how to derive the optimal control law in the complex domain using the unified transform [10]. The unified transform is the Fourier transform restricted in the domain with extended to the complex domain :
(4) | ||||
(5) |
Remark 1
The unified transform can be regarded as the direct and inverse Fourier transform applied to the following function
Let and denote the unified transform of and by (4). We start by taking a derivative with respect to and then use the relation (1):
Using integration by parts, we have
Introducing the notation specified earlier, we find
(6) |
where
(7) |
(6) is an ordinary differential equation (ODE) in the time variable.
Remark 2
The inverse transform (5) involves real , and thus we only need for real in (6).However, we will find it useful to detour from the real line to the complex plane.
Parseval’s identity implies that minimizing (3) is the same as finding that minimizes
(8) |
subject to (6) and Since (6) is an ODE in the time variable parameterized by , at a fixed it amounts to no more than a classical finite-dimensional linear quadratic regulator problem.
Theorem 1
The optimal control for (8) subject to (6) is given by
(9) |
where for all , and are solutions to the following equations
(10) | ||||
(11) | ||||
(12) |
with
Proof:
It is convenient to rewrite (9) as
where .For any fixed , we omit the dependence on in variables and and rewrite (6) as a linear time-varying system:
(13) | ||||
with defined in Theorem1. The control problem is now to find an , minimizing
subject to (13).
We use the principle of optimality, also known as dynamic programming, to derive the optimal control. Let denote a function restricted to the interval . Given , let us also make the definition
(14) |
Two properties of the optimal value function (14) [13, Eq.2.2-5, Eq.2.3-7] applied to dynamics (13) are stated as follows.
Lemma 1
The optimal value function satisfies the Hamilton-Jacobi-Bellman equation:
(15) |
with the boundary condition , and the control given by the minimization in (15) is the optimal control at time .
Lemma 2
The optimal value function has the quadratic form
where is symmetric.
Using Lemma2, we can solve to obtain the optimal control. From Lemma2, the left-hand side in (15) becomes
(16) |
The terms with partial derivatives on the right-hand side become
Substitute the above terms into the right-hand side in (15) and complete the square, we have
(17) | ||||
Therefore, the minimization in (15) is achieved by
(18) |
Substitute (18) into (17) and equate (16), together with the boundary condition , we have
∎
IV The infinite-time optimal control law
In the case of infinite-time control, i.e., , (9) still holds, and we disregard the terminal cost . Then, the initial condition for becomes . For every in the complex plane and every finite , the solution to (10) starting from with converges to the equilibrium with nonnegative real value, which is a root to the following:
(19) |
For , (12) can be explicitly written as
(20) | |||||
(21) |
Let Solving the above equations we find
Using the above expressions in (9), we find an infinite-time optimal control law in the complex domain:
(22) |
Substitute (22) into (6), we have
(23) |
Now, we analyze the well-posedness and stability of the heat equation (1) after substituting optimal control (22).Unlike traditional methods that represent PDEs in abstract differential equations, e.g., see [14], the Fourier transform decomposes the heat equation into an ODE (23) for each .Therefore, it suffices to analyze the well-posedness and stability of the ODE for each .Let .The solution to (23) with the transformed initial condition is given by
For simplicity, we assume that is bounded, and there exists a finite time such that for all . Then, for all .Following Remark2, for every real , the solution is unique, and as since .Tighter conditions for well-posedness and stability can be obtained through more complicated analysis and will be pursued in the future.
V The integral representation of the optimal control
After obtaining the control law (22) in the transformed domain, we aim to derive an expression of the optimal control in the original space domain.Combining (22) and (23), we have
(24) |
Applying the inverse transform (5) to (24), we have
(25) |
The control law (25) cannot be computed yet since only one of the Dirichlet and Neumann boundary conditions in is provided, i.e., either or is known.We will derive an expression of that depends only on given initial and boundary conditions. In the following result, we consider the case that Dirichlet boundary conditions are given:
Theorem 2
Given Dirichlet boundary values for all the optimal control in the domain is given by
(26) | ||||
where is a contour in defined as ;
(27) | ||||
Remark 3
The optimal control (26) only depends on given initial and boundary values.Similar expressions can be derived if Neumann boundary values are given.
Proof:
Following (25), the optimal control is computed by taking the time derivative of
(28) | ||||
plus
(29) | ||||
and the following integral that vanishes for :
(30) |
We first prove (29) and divide the proof into the following three steps.The proof of (28) follows similarly without the extra term.The proof of (30) is presented at last.
- 1.
Using the transformed optimal control law (22) in (6) and solving the resulting ODE, we obtain the following equation that relates the unified transform of state to unified transform of initial value and certain transforms of Dirichlet and Neumann boundary values:
(31) with (27) and the following
- 2.
Inserting (31) into the left-hand side of (29) and deforming the real axis to contours in the complex plane we have an integral representation along the contour as shown in Figure2:
(32) - 3.
Employing the transformation in (31) which leaves invariant, we eliminate the transforms of unknown boundary values from and find
(33)
Proof of 1)
Expanding in (23), we have
(34) | ||||
Solving (34), we have the relation (31).
Proof of 2)
Inserting (31) into the left-hand side of (29), we find
(35) | ||||
The second and third integrals involve unknown functions and ; thus, it is hard to evaluate directly. Now, we show that the real axis in the integral can be deformed to specific contours in the complex domain using Lemmas3 and4. Then, we will see in Step 3 that the contribution from unknown functions to the integrals vanishes.
To use Lemma3, we first establish the analyticity of the integrand in (37).It suffices to analyze the analyticity of since the other exponential and polynomial functions of in (37) are entire functions (analytic everywhere on ).The function is analytic on the entire complex plane excluding the branch cuts where is multi-valued.
Then, we rewrite the integrand as with
and find the conditions under which goes to zero as to use Lemma4.The -transforms of boundary values contain the term where . When multiplied by , it follows that decays exponentially provided that . is positive on the complex plane, excluding the branch cuts for . Since the polynomial growth of will be cancelled by the exponential decay of , as if and .
Without loss of generality, let , with direction from left to right. In general, can be any two rays in with and .Consider a contour shown in Figure2.From Lemma3 and the analyticity of the integrand in the domain enclosed by , we have
(36) | ||||
Taking the limit , the integrals over and vanish according to Lemma4. Therefore,. Repeat the analysis for the third integral in (35) and replace by that is defined by , we have:
(37) | ||||
Using the transformation in the third integral on the right-hand side of (37), we find that this equation becomes (32).
Proof of 3)
We show that the transforms of unknown boundary values can be eliminated in (32).Note that , we obtain the following equation from the relation (31) by transforming :
(38) | ||||
In the case that are given, (38) and (31) become, respectively,
(39) | ||||
where the known function is defined by
Solving (39) for terms containing unknown boundary values, we find
whereand contain the terms and :
Inserting the expressions for and in (32) and simplifying, we find (33) plus the following term that vanishes:
(40) |
To show that the integral (40) vanishes, we analyze the behavior of the integrand as . since the exponential term decays for using the definition with . Hence,
, and all contain the exponential where that decays in . Therefore, as for .
Consider a closed curve , where and , see Figure3.Note that the pole of is a removable singularity, and we can redefine the value of at to make analytic. From Lemma3, we have
(41) | ||||
The integral along vanishes as according to Lemma4 and the fact that as since the exponential decay of cancels the polynomial growth of .From (41), the integral along also goes to zero as .Since converges to as , the contribution from to the integral (40) vanishes.Similarly, the contribution from to the integral (40) also vanishes.Therefore, the value of the integral (40) is zero.
Lastly, we show that (30) holds. Using the definition of in (7), the left-hand side of (30) can be expanded as
(42) | ||||
where is the Dirac delta function, and is the first derivative of the Dirac delta function. Both and vanish except at the origin, which gives for .∎
VI Comparison to existing optimal control
VI-A Equivalent series representations
Consider the heat equation in (1) with and hom*ogeneous Dirichlet boundary conditions, i.e., . In this setting, an existing optimal control in [6] has a convolution form:
(43) |
with
Following [6], the control law (43) is equivalent to the following form:
(44) |
where are solutions to the heat equation on with periodic boundary conditions, initial conditions if and if , and the control if and if .
We first rewrite the solution (28) in series representation.This mostly follows from [11, Section 4.2]. Here, we present the main steps.We start by noting that has simple zeros at .Then for the integral along , using Lemma3 and Lemma4, we deform it back to the real line with small loops around these roots of radius denoted by , which is the boundary of shown in Figure4.
Let denote the integrand for the integral along in (28).In our case, the small loops around each root have an angular width . Using Lemma5,the solution can be rewritten as
We first evaluate the principle-value integral and show that it cancels out the first integral. Explicitly expressing , we have
By rewriting the term with into another integral and replacing with , we have that the integrand in the principle-value integral is the same as the integrand in the first integral. The two integrals cancel out.
Now we evaluate the residue of at . Note that the function is the ratio of two other functions, .Then, the residue of at is equal to divided by the derivative of at .After some operations, we have
(45) | ||||
(45) is exactly the series expression of for after substituting (44) into the heat equation with hom*ogeneous periodic boundary conditions.
Repeat similar steps for (26), we have
(46) | ||||
where is the discrete Fourier transform of in (45).By convolution theorem, in (46) is equivalent to in (44).
VI-B Numerical advantages
While we have shown that the integral representation of the state (28) is equivalent to the series representation (45) for hom*ogeneous Dirichlet boundary conditions, the integral representation has numerical advantages.We use Mathematica to directly compute the state and control expressions to compare the numerical properties of the two representations.The initial condition is used together with the hom*ogeneous Dirichlet boundary conditions.
Figure5 shows the numerical computation using the integral representations of the state (28) and the control (26).The infinite series (45) does not converge in the numerical solver, and thus the convolution form (43) cannot be computed without approximation.In contrast, the integral representations (26) and (28) converge in existing numerical integration solvers and can be computed very efficiently.Numerical advantages for complex integral representations have been discussed for general boundary conditions and other types of linear PDEs; see [10] and [15].
VII Conclusions
In this study, we derived the optimal control law for the linear quadratic regulator of the heat equation with general Neumann or Dirichlet boundary conditions using the Fokas method.The control law is given by an integral representation that depends only on the known initial and boundary values.In the special case of hom*ogeneous Dirichlet boundary conditions, we showed that the more general integral representation recovers an existing optimal control law in series representation.The resulting integral representation of the control is easy to compute, whereas the traditional series representation cannot be directly computed without approximation.
Future work includes transforming the integral representation of the optimal control into a feedback form to analyze potential distributed properties.Another direction is to generalize the procedures to derive the control law for other linear PDEs with other types of boundary conditions, such as Robin boundary conditions, where the Fokas method has proven successful.For applications, it is of interest to explore the control design for soft robotics where linear PDEs such as beam equations are used to model the dynamics of soft robots [16].
References
- [1]B.Bamieh, F.Paganini, and M.A. Dahleh, “Distributed control of spatiallyinvariant systems,” IEEE Transactions on automatic control, vol.47,no.7, pp.1091–1107, 2002.
- [2]R.D’Andrea and G.E. Dullerud, “Distributed control design for spatiallyinterconnected systems,” IEEE Transactions on automatic control,vol.48, no.9, pp.1478–1495, 2003.
- [3]N.Motee and A.Jadbabaie, “Optimal control of spatially distributedsystems,” IEEE Transactions on Automatic Control, vol.53, no.7,pp.1616–1629, 2008.
- [4]M.R. Jovanovic and B.Bamieh, “On the ill-posedness of certain vehicularplatoon control problems,” IEEE Transactions on Automatic Control,vol.50, no.9, pp.1307–1321, 2005.
- [5]C.Langbort and R.D’Andrea, “Distributed control of spatially reversibleinterconnected systems with boundary conditions,” SIAM journal oncontrol and optimization, vol.44, no.1, pp.1–28, 2005.
- [6]J.P. Epperlein and B.Bamieh, “Spatially invariant embeddings of systems withboundaries,” in 2016 American Control Conference (ACC),pp.6133–6139, IEEE, 2016.
- [7]J.Arbelaiz, B.Bamieh, A.E. Hosoi, and A.Jadbabaie, “Optimal estimation inspatially distributed systems: how far to share measurements from?,” arXiv preprint arXiv:2406.14781, 2024.
- [8]A.S. Fokas, “A unified transform method for solving linear and certainnonlinear pdes,” Proceedings of the Royal Society of London. Series A:Mathematical, Physical and Engineering Sciences, vol.453, no.1962,pp.1411–1443, 1997.
- [9]A.S. Fokas, A unified approach to boundary value problems.SIAM, 2008.
- [10]A.Fokas and E.Kaxiras, Modern Mathematical Methods for Scientists andEngineers.WORLD SCIENTIFIC (EUROPE), 2023.
- [11]B.Deconinck, T.Trogdon, and V.Vasan, “The method of fokas for solvinglinear partial differential equations,” SIAM Review, vol.56, no.1,pp.159–186, 2014.
- [12]K.Kalimeris, T.Özsarl, and N.Dikaios, “Numerical computation of neumanncontrols for the heat equation on a finite interval,” IEEE Transactionson Automatic Control, 2023.
- [13]B.D. Anderson and J.B. Moore, Optimal control: linear quadraticmethods.Courier Corporation, 2007.
- [14]J.-W. Wang, H.-N. Wu, and C.-Y. Sun, “Boundary controller design andwell-posedness analysis of semi-linear parabolic pde systems,” in 2014American Control Conference, pp.3369–3374, IEEE, 2014.
- [15]F.DeBarros, M.Colbrook, and A.Fokas, “A hybrid analytical-numerical methodfor solving advection-dispersion problems on a half-line,” International Journal of Heat and Mass Transfer, vol.139, pp.482–491,2019.
- [16]C.DellaSantina, C.Duriez, and D.Rus, “Model-based control of soft robots:A survey of the state of the art and open challenges,” IEEE ControlSystems Magazine, vol.43, no.3, pp.30–65, 2023.
- [17]M.J. Ablowitz and A.S. Fokas, Complex variables: introduction andapplications.Cambridge University Press, 2003.
Appendix
Here, we collect some results from complex analysis.
Lemma 3 (Cauchy’s Theorem [17, Theorem 2.5.2])
If a function is analytic in a simply connected domain , then along a simple closed contour in
Lemma 4 (Jordan’s Lemma [17, Lemma 4.2.2])
Let be a circular arc of radius centered at the origin and lying on the upper-half complex plane defined by with . Suppose that on the circular arc , we have uniformly as . Then
where is a real, positive constant.
Remark 4
If is real and negative, then Jordan’s lemma is still valid, provided that is defined on the lower-half complex plane.
Lemma 5 ([17, Theorem 4.3.1])
Consider a function analytic in an annulus centered at . Let be a circular arc of radius and angular width , which lies entirely within the annulus centered at , with .Suppose has a simple pole at . Then
where is defined as the value of the coefficient in the Laurent expansion of the function around the point .