-
Optimal control of a kinetic equation
Authors:
Aaron Pim,
Tristan Pryer,
Alex Trenam
Abstract:
This work addresses an optimal control problem constrained by a degenerate kinetic equation of parabolic-hyperbolic type. Using a hypocoercivity framework we establish the well-posedness of the problem and demonstrate that the optimal solutions exhibit a hypocoercive decay property, ensuring stability and robustness. Building on this framework, we develop a finite element discretisation that prese…
▽ More
This work addresses an optimal control problem constrained by a degenerate kinetic equation of parabolic-hyperbolic type. Using a hypocoercivity framework we establish the well-posedness of the problem and demonstrate that the optimal solutions exhibit a hypocoercive decay property, ensuring stability and robustness. Building on this framework, we develop a finite element discretisation that preserves the stability properties of the continuous system. The effectiveness and accuracy of the proposed method are validated through a series of numerical experiments, showcasing its ability to handle challenging PDE-constrained optimal control problems.
△ Less
Submitted 14 December, 2024;
originally announced December 2024.
-
A Deep Uzawa-Lagrange Multiplier Approach for Boundary Conditions in PINNs and Deep Ritz Methods
Authors:
Charalambos G. Makridakis,
Aaron Pim,
Tristan Pryer
Abstract:
We introduce a deep learning-based framework for weakly enforcing boundary conditions in the numerical approximation of partial differential equations. Building on existing physics-informed neural network and deep Ritz methods, we propose the Deep Uzawa algorithm, which incorporates Lagrange multipliers to handle boundary conditions effectively. This modification requires only a minor computationa…
▽ More
We introduce a deep learning-based framework for weakly enforcing boundary conditions in the numerical approximation of partial differential equations. Building on existing physics-informed neural network and deep Ritz methods, we propose the Deep Uzawa algorithm, which incorporates Lagrange multipliers to handle boundary conditions effectively. This modification requires only a minor computational adjustment but ensures enhanced convergence properties and provably accurate enforcement of boundary conditions, even for singularly perturbed problems.
We provide a comprehensive mathematical analysis demonstrating the convergence of the scheme and validate the effectiveness of the Deep Uzawa algorithm through numerical experiments, including high-dimensional, singularly perturbed problems and those posed over non-convex domains.
△ Less
Submitted 14 November, 2024; v1 submitted 13 November, 2024;
originally announced November 2024.
-
Deep Uzawa for PDE constrained optimisation
Authors:
Charalambos G. Makridakis,
Aaron Pim,
Tristan Pryer
Abstract:
In this work, we present a numerical solver for optimal control problems constrained by linear and semi-linear second-order elliptic PDEs. The approach is based on recasting the problem and includes an extension of Uzawa's algorithm to build approximating sequences for these constrained optimal control problems. We prove strong convergence of the iterative scheme in their respective norms, and thi…
▽ More
In this work, we present a numerical solver for optimal control problems constrained by linear and semi-linear second-order elliptic PDEs. The approach is based on recasting the problem and includes an extension of Uzawa's algorithm to build approximating sequences for these constrained optimal control problems. We prove strong convergence of the iterative scheme in their respective norms, and this convergence is generalised to a class of restricted function spaces. We showcase the algorithm by demonstrating its use numerically with neural network methods that we coin Deep Uzawa Algorithms and show they perform favourably compared with some existing Deep Neural Network approaches.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
A strange term coming from the boundary data
Authors:
Aaron Pim
Abstract:
In this paper, I derive the limiting behaviour of the solutions to Poisson's equation, in a perforated domain, subject to inhomogeneous Robin boundary conditions. In the first half of the paper, I derive a generalised limit for non-periodic domains and arbitrary boundary data. In the second half of this paper, I demonstrate that for periodically arranged spheres and identical Robin boundary data o…
▽ More
In this paper, I derive the limiting behaviour of the solutions to Poisson's equation, in a perforated domain, subject to inhomogeneous Robin boundary conditions. In the first half of the paper, I derive a generalised limit for non-periodic domains and arbitrary boundary data. In the second half of this paper, I demonstrate that for periodically arranged spheres and identical Robin boundary data on each sphere, the homogenised limit of Poisson's equation satisfies the Helmholtz equation with an additional term in the domain data, which represents the contribution from the inhomogeneous Robin boundary data. These results are a generalisation of the work of Kaizu, who derived the limit of the solutions to the homogeneous Robin problem.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Asymptotic analysis of harmonic functions in singular domains with inhomogenous Robin boundary conditions
Authors:
Aaron Pim,
Kirill Cherednichenko,
Jey Sivaloganathan
Abstract:
In 1991, Vladimir Maz'ya, Serguei Nazarov and Boris Plamenevskij developed the theory of compound asymptotics for elliptic boundary value problems in singularly perturbed domains. They considered a harmonic function whose domain contains a small inclusion. We applied this technique in the analysis of a Nematic liquid crystal with a small colloidal inclusion. However, we realised that the Maz'ya, N…
▽ More
In 1991, Vladimir Maz'ya, Serguei Nazarov and Boris Plamenevskij developed the theory of compound asymptotics for elliptic boundary value problems in singularly perturbed domains. They considered a harmonic function whose domain contains a small inclusion. We applied this technique in the analysis of a Nematic liquid crystal with a small colloidal inclusion. However, we realised that the Maz'ya, Nazarov and Plamenevskij did not consider the asymptotic analysis of Robin boundary conditions, which corresponded to weak anchoring in the context of liquid crystals.
In this piece we shall derive an asymptotic approximation to a harmonic function, in a domain with a small circular inclusion of radius $ε>0$, with inhomogenous Robin boundary conditions and a corresponding parameter $κ>0$. We shall then prove that the difference between the exact solution and the approximation is uniformly bounded and derive the rate as a function of $ε$ and $κ$.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
A generalisation of the Poincaré-Hopf Theorem
Authors:
Aaron Pim
Abstract:
The Poincaré-Hopf Theorem is a conservation law for real-analytic vector fields, which are tangential to a closed surface (such as a torus or a sphere). The theorem also governs real-analytic vector fields, which are tangential to surfaces with smooth boundaries; in these cases, the vector field must be pointing in the outward normal direction along the boundary. In this paper, I will generalise t…
▽ More
The Poincaré-Hopf Theorem is a conservation law for real-analytic vector fields, which are tangential to a closed surface (such as a torus or a sphere). The theorem also governs real-analytic vector fields, which are tangential to surfaces with smooth boundaries; in these cases, the vector field must be pointing in the outward normal direction along the boundary. In this paper, I will generalise the Poincaré-Hopf Theorem for real-analytic vector fields that are tangential to surfaces with piecewise smooth boundaries, and not parallel to the outward normal of the boundary.
△ Less
Submitted 3 October, 2022; v1 submitted 2 June, 2021;
originally announced June 2021.