-
The Poisson-Dirichlet problem in domains with Ahlfors regular boundary
Authors:
Ariel Barton,
Svitlana Mayboroda,
Alberto Pacati
Abstract:
We present an announcement of some recent results concerning well-posedness of the Poisson-Dirichlet problem with boundary data in Besov spaces with fractional smoothness. This is a far-reaching generalization as previously known theorems concerning well-posedness of the Poisson problem in such intermediate smoothness classes were mostly restricted to the context of Lipschitz domains and coefficie…
▽ More
We present an announcement of some recent results concerning well-posedness of the Poisson-Dirichlet problem with boundary data in Besov spaces with fractional smoothness. This is a far-reaching generalization as previously known theorems concerning well-posedness of the Poisson problem in such intermediate smoothness classes were mostly restricted to the context of Lipschitz domains and coefficients satisfying strong regularity assumptions.
△ Less
Submitted 18 June, 2025; v1 submitted 17 June, 2025;
originally announced June 2025.
-
Reevaluating Meta-Learning Optimization Algorithms Through Contextual Self-Modulation
Authors:
Roussel Desmond Nzoyem,
David A. W. Barton,
Tom Deakin
Abstract:
Contextual Self-Modulation (CSM) (Nzoyem et al., 2025) is a potent regularization mechanism for Neural Context Flows (NCFs) which demonstrates powerful meta-learning on physical systems. However, CSM has limitations in its applicability across different modalities and in high-data regimes. In this work, we introduce two extensions: $i$CSM which expands CSM to infinite-dimensional variations by emb…
▽ More
Contextual Self-Modulation (CSM) (Nzoyem et al., 2025) is a potent regularization mechanism for Neural Context Flows (NCFs) which demonstrates powerful meta-learning on physical systems. However, CSM has limitations in its applicability across different modalities and in high-data regimes. In this work, we introduce two extensions: $i$CSM which expands CSM to infinite-dimensional variations by embedding the contexts into a function space, and StochasticNCF which improves scalability by providing a low-cost approximation of meta-gradient updates through a sampled set of nearest environments. These extensions are demonstrated through comprehensive experimentation on a range of tasks, including dynamical systems, computer vision challenges, and curve fitting problems. Additionally, we incorporate higher-order Taylor expansions via Taylor-Mode automatic differentiation, revealing that higher-order approximations do not necessarily enhance generalization. Finally, we demonstrate how CSM can be integrated into other meta-learning frameworks with FlashCAVIA, a computationally efficient extension of the CAVIA meta-learning framework (Zintgraf et al., 2019). Together, these contributions highlight the significant benefits of CSM and indicate that its strengths in meta-learning and out-of-distribution tasks are particularly well-suited to physical systems. Our open-source library, designed for modular integration of self-modulation into contextual meta-learning workflows, is available at https://github.com/ddrous/self-mod.
△ Less
Submitted 11 June, 2025; v1 submitted 2 October, 2024;
originally announced October 2024.
-
Iterative method for real-time Hybrid testing: application to a cantilever beam with two interface degrees of freedom
Authors:
Alessandra Vizzaccaro,
Sandor Beregi,
David A. W. Barton,
Simon A. Neild
Abstract:
In this paper, an iterative method for real-time hybrid testing (RTHT) is proposed. The method seeks to iteratively balance the interface conditions between the physical and numerical substructures by controlling the periodic demand of the actuators. It is then suitable for RTHT of structures undergoing a periodic response, e.g. structures excited at resonance. We demonstrate the capabilities of t…
▽ More
In this paper, an iterative method for real-time hybrid testing (RTHT) is proposed. The method seeks to iteratively balance the interface conditions between the physical and numerical substructures by controlling the periodic demand of the actuators. It is then suitable for RTHT of structures undergoing a periodic response, e.g. structures excited at resonance. We demonstrate the capabilities of the method on a cantilever beam in bending motion with two degrees of freedom at the interface, which we use as a prototype for future testing of aircraft wings. We show that a number of challenges arise in these settings, such as the difficulty in measuring interface forces while controlling a continuous structure and the instability of the hybrid test for small time delays. Classical RTHT strategies could produce inaccurate or unstable outcomes, whereas the proposed method is able to attain very good interface synchronisation in a wide range of tested scenarios.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Neural Context Flows for Meta-Learning of Dynamical Systems
Authors:
Roussel Desmond Nzoyem,
David A. W. Barton,
Tom Deakin
Abstract:
Neural Ordinary Differential Equations (NODEs) often struggle to adapt to new dynamic behaviors caused by parameter changes in the underlying physical system, even when these dynamics are similar to previously observed behaviors. This problem becomes more challenging when the changing parameters are unobserved, meaning their value or influence cannot be directly measured when collecting data. To a…
▽ More
Neural Ordinary Differential Equations (NODEs) often struggle to adapt to new dynamic behaviors caused by parameter changes in the underlying physical system, even when these dynamics are similar to previously observed behaviors. This problem becomes more challenging when the changing parameters are unobserved, meaning their value or influence cannot be directly measured when collecting data. To address this issue, we introduce Neural Context Flow (NCF), a robust and interpretable Meta-Learning framework that includes uncertainty estimation. NCF uses Taylor expansion to enable contextual self-modulation, allowing context vectors to influence dynamics from other domains while also modulating themselves. After establishing theoretical guarantees, we empirically test NCF and compare it to related adaptation methods. Our results show that NCF achieves state-of-the-art Out-of-Distribution performance on 5 out of 6 linear and non-linear benchmark problems. Through extensive experiments, we explore the flexible model architecture of NCF and the encoded representations within the learned context vectors. Our findings highlight the potential implications of NCF for foundational models in the physical sciences, offering a promising approach to improving the adaptability and generalization of NODEs in various scientific applications. Our code is openly available at https://github.com/ddrous/ncflow.
△ Less
Submitted 28 February, 2025; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Real-time hybrid testing using iterative control for periodic oscillations
Authors:
Sandor Beregi,
David A. W. Barton,
Djamel Rezgui,
Simon A. Neild
Abstract:
Real-time hybrid testing is a method in which a substructure of the system is realised experimentally and the rest numerically. The two parts interact in real time to emulate the dynamics of the full system. Such experiments however are often difficult to realise as the actuators and sensors, needed to ensure compatibility and force-equilibrium conditions at the interface, can seriously affect the…
▽ More
Real-time hybrid testing is a method in which a substructure of the system is realised experimentally and the rest numerically. The two parts interact in real time to emulate the dynamics of the full system. Such experiments however are often difficult to realise as the actuators and sensors, needed to ensure compatibility and force-equilibrium conditions at the interface, can seriously affect the predicted dynamics of the system and result in stability and fidelity issues. The traditional approach of using feedback control to overcome the additional unwanted dynamics is challenging due to the presence of an outer feedback loop, passing interface displacements or forces to the numerical substructure. We, therefore, advocate for an alternative approach, removing the problematic interface dynamics with an iterative scheme to minimise interface errors, thus, capturing the response of the true assembly. The technique is examined by hybrid testing of a bench-top four-storey building with different interface configurations, where using conventional hybrid measurement techniques is very challenging. A case where the physical part exhibits nonlinear restoring force characteristics is also considered. These tests show that the iterative approach is capable of handling even scenarios which are theoretically infeasible with feedback control.
△ Less
Submitted 3 June, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
A Comparison of Mesh-Free Differentiable Programming and Data-Driven Strategies for Optimal Control under PDE Constraints
Authors:
Roussel Desmond Nzoyem,
David A. W. Barton,
Tom Deakin
Abstract:
The field of Optimal Control under Partial Differential Equations (PDE) constraints is rapidly changing under the influence of Deep Learning and the accompanying automatic differentiation libraries. Novel techniques like Physics-Informed Neural Networks (PINNs) and Differentiable Programming (DP) are to be contrasted with established numerical schemes like Direct-Adjoint Looping (DAL). We present…
▽ More
The field of Optimal Control under Partial Differential Equations (PDE) constraints is rapidly changing under the influence of Deep Learning and the accompanying automatic differentiation libraries. Novel techniques like Physics-Informed Neural Networks (PINNs) and Differentiable Programming (DP) are to be contrasted with established numerical schemes like Direct-Adjoint Looping (DAL). We present a comprehensive comparison of DAL, PINN, and DP using a general-purpose mesh-free differentiable PDE solver based on Radial Basis Functions. Under Laplace and Navier-Stokes equations, we found DP to be extremely effective as it produces the most accurate gradients; thriving even when DAL fails and PINNs struggle. Additionally, we provide a detailed benchmark highlighting the limited conditions under which any of those methods can be efficiently used. Our work provides a guide to Optimal Control practitioners and connects them further to the Deep Learning community.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Gradient estimates and the fundamental solution for higher-order elliptic systems with lower-order terms
Authors:
Ariel Barton,
Michael Duffy
Abstract:
We establish the Caccioppoli inequality, a reverse Hölder inequality in the spirit of the classic estimate of Meyers, and construct the fundamental solution for linear elliptic differential equations of order $2m$ with certain lower order terms.
We establish the Caccioppoli inequality, a reverse Hölder inequality in the spirit of the classic estimate of Meyers, and construct the fundamental solution for linear elliptic differential equations of order $2m$ with certain lower order terms.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Modelling of physical systems with a Hopf bifurcation using mechanistic models and machine learning
Authors:
K. H. Lee,
D. A. W. Barton,
L. Renson
Abstract:
We propose a new hybrid modelling approach that combines a mechanistic model with a machine-learnt model to predict the limit cycle oscillations of physical systems with a Hopf bifurcation. The mechanistic model is an ordinary differential equation normal-form model capturing the bifurcation structure of the system. A data-driven mapping from this model to the experimental observations is then ide…
▽ More
We propose a new hybrid modelling approach that combines a mechanistic model with a machine-learnt model to predict the limit cycle oscillations of physical systems with a Hopf bifurcation. The mechanistic model is an ordinary differential equation normal-form model capturing the bifurcation structure of the system. A data-driven mapping from this model to the experimental observations is then identified based on experimental data using machine learning techniques. The proposed method is first demonstrated numerically on a Van der Pol oscillator and a three-degree-of-freedom aeroelastic model. It is then applied to model the behaviour of a physical aeroelastic structure exhibiting limit cycle oscillations during wind tunnel tests. The method is shown to be general, data-efficient and to offer good accuracy without any prior knowledge about the system other than its bifurcation structure.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Variational Causal Inference
Authors:
Yulun Wu,
Layne C. Price,
Zichen Wang,
Vassilis N. Ioannidis,
Robert A. Barton,
George Karypis
Abstract:
Estimating an individual's potential outcomes under counterfactual treatments is a challenging task for traditional causal inference and supervised learning approaches when the outcome is high-dimensional (e.g. gene expressions, impulse responses, human faces) and covariates are relatively limited. In this case, to construct one's outcome under a counterfactual treatment, it is crucial to leverage…
▽ More
Estimating an individual's potential outcomes under counterfactual treatments is a challenging task for traditional causal inference and supervised learning approaches when the outcome is high-dimensional (e.g. gene expressions, impulse responses, human faces) and covariates are relatively limited. In this case, to construct one's outcome under a counterfactual treatment, it is crucial to leverage individual information contained in its observed factual outcome on top of the covariates. We propose a deep variational Bayesian framework that rigorously integrates two main sources of information for outcome construction under a counterfactual treatment: one source is the individual features embedded in the high-dimensional factual outcome; the other source is the response distribution of similar subjects (subjects with the same covariates) that factually received this treatment of interest.
△ Less
Submitted 11 February, 2025; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Uncertainty quantification in mechanistic epidemic models via cross-entropy approximate Bayesian computation
Authors:
Americo Cunha Jr,
David A. W. Barton,
Thiago G. Ritto
Abstract:
This paper proposes a data-driven approximate Bayesian computation framework for parameter estimation and uncertainty quantification of epidemic models, which incorporates two novelties: (i) the identification of the initial conditions by using plausible dynamic states that are compatible with observational data; (ii) learning of an informative prior distribution for the model parameters via the c…
▽ More
This paper proposes a data-driven approximate Bayesian computation framework for parameter estimation and uncertainty quantification of epidemic models, which incorporates two novelties: (i) the identification of the initial conditions by using plausible dynamic states that are compatible with observational data; (ii) learning of an informative prior distribution for the model parameters via the cross-entropy method. The new methodology's effectiveness is illustrated with the aid of actual data from the COVID-19 epidemic in Rio de Janeiro city in Brazil, employing an ordinary differential equation-based model with a generalized SEIR mechanistic structure that includes time-dependent transmission rate, asymptomatics, and hospitalizations. A minimization problem with two cost terms (number of hospitalizations and deaths) is formulated, and twelve parameters are identified. The calibrated model provides a consistent description of the available data, able to extrapolate forecasts over a few weeks, making the proposed methodology very appealing for real-time epidemic modeling.
△ Less
Submitted 2 February, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Using scientific machine learning for experimental bifurcation analysis of dynamic systems
Authors:
Sandor Beregi,
David A. W. Barton,
Djamel Rezgui,
Simon A. Neild
Abstract:
Augmenting mechanistic ordinary differential equation (ODE) models with machine-learnable structures is an novel approach to create highly accurate, low-dimensional models of engineering systems incorporating both expert knowledge and reality through measurement data. Our exploratory study focuses on training universal differential equation (UDE) models for physical nonlinear dynamical systems wit…
▽ More
Augmenting mechanistic ordinary differential equation (ODE) models with machine-learnable structures is an novel approach to create highly accurate, low-dimensional models of engineering systems incorporating both expert knowledge and reality through measurement data. Our exploratory study focuses on training universal differential equation (UDE) models for physical nonlinear dynamical systems with limit cycles: an aerofoil undergoing flutter oscillations and an electrodynamic nonlinear oscillator. We consider examples where training data is generated by numerical simulations, whereas we also employ the proposed modelling concept to physical experiments allowing us to investigate problems with a wide range of complexity. To collect the training data, the method of control-based continuation is used as it captures not just the stable but also the unstable limit cycles of the observed system. This feature makes it possible to extract more information about the observed system than the open-loop approach (surveying the steady state response by parameter sweeps without using control) would allow. We use both neural networks and Gaussian processes as universal approximators alongside the mechanistic models to give a critical assessment of the accuracy and robustness of the UDE modelling approach. We also highlight the potential issues one may run into during the training procedure indicating the limits of the current modelling framework.
△ Less
Submitted 18 June, 2022; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Strong Gelfand Pairs of SL(2,p)
Authors:
Andrea Barton,
Stephen P. Humphries
Abstract:
A strong Gelfand pair (G,H) is a group G together with a subgroup H such that every irreducible character of H induces a multiplicity-free character of G. We classify the strong Gelfand pairs of the special linear groups SL(2, p) where p is a prime.
A strong Gelfand pair (G,H) is a group G together with a subgroup H such that every irreducible character of H induces a multiplicity-free character of G. We classify the strong Gelfand pairs of the special linear groups SL(2, p) where p is a prime.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Reduced-order modelling of flutter oscillations using normal forms and scientific machine learning
Authors:
K. H. Lee,
D. A. W. Barton,
L. Renson
Abstract:
This paper introduces a machine learning approach to take a nonlinear differential-equation model that exhibits qualitative agreement with a physical experiment over a range of parameter values and produce a hybrid model that also exhibits quantitative agreement. The underpinning idea is that the bifurcation experiment structure of an experiment can be revealed using techniques such as control-bas…
▽ More
This paper introduces a machine learning approach to take a nonlinear differential-equation model that exhibits qualitative agreement with a physical experiment over a range of parameter values and produce a hybrid model that also exhibits quantitative agreement. The underpinning idea is that the bifurcation experiment structure of an experiment can be revealed using techniques such as control-based continuation and then used to generate a simplified normal-form-like model. A machine learning approach is then used to learn a coordinate transform from the normal-form-like model to the physical coordinates of the experiment. This approach is demonstrated on a mathematical model of aero-elastic flutter, where good agreement at the level of the bifurcation diagrams is shown between the hybrid model and the underlying ground truth. Moreover, individual phase portraits and time series are also reproduced accurately, even in regions away from training data. As such, the approach holds significant promise for producing quantitatively accurate models that exhibit the correct nonlinear behaviour over a range of parameter values.
△ Less
Submitted 23 August, 2022; v1 submitted 3 November, 2020;
originally announced November 2020.
-
The $L^p$ Neumann problem for higher order elliptic equations
Authors:
Ariel Barton
Abstract:
We solve the Neumann problem in the half space $\mathbb{R}^{n+1}_+$, for higher order elliptic differential equations with variable self-adjoint $t$-independent coefficients, and with boundary data in $L^p$, where $\max\bigl(1,\frac{2n}{n+2}-\varepsilon\bigr) < p < 2$.
We also establish nontangential and area integral estimates on layer potentials with inputs in $L^p$ or $\dot W^{\pm1,p}$ for a…
▽ More
We solve the Neumann problem in the half space $\mathbb{R}^{n+1}_+$, for higher order elliptic differential equations with variable self-adjoint $t$-independent coefficients, and with boundary data in $L^p$, where $\max\bigl(1,\frac{2n}{n+2}-\varepsilon\bigr) < p < 2$.
We also establish nontangential and area integral estimates on layer potentials with inputs in $L^p$ or $\dot W^{\pm1,p}$ for a similar range of~$p$, based on known bounds for $p\geq2$; in this case we may relax the requirement of self-adjointess.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Robustness of nonlinear parameter identification in presence of process noise using control-based continuation
Authors:
Sandor Beregi,
David A. W. Barton,
Djamel Rezgui,
Simon A. Neild
Abstract:
In this study, we consider the experimentally-obtained, periodically-forced response of a nonlinear structure in the presence of process noise. Control-based continuation is used to measure both the stable and unstable periodic solutions while different levels of noise are injected into the system. Using this data, the robustness of the control-based continuation algorithm and its ability to captu…
▽ More
In this study, we consider the experimentally-obtained, periodically-forced response of a nonlinear structure in the presence of process noise. Control-based continuation is used to measure both the stable and unstable periodic solutions while different levels of noise are injected into the system. Using this data, the robustness of the control-based continuation algorithm and its ability to capture the noise-free system response is assessed by identifying the parameters of an associated Duffing-like model. We demonstrate that control-based continuation extracts system information more robustly, in the presence of a high level of noise, than open-loop parameter sweeps and so is a valuable tool for investigating nonlinear structures.
△ Less
Submitted 15 February, 2021; v1 submitted 29 January, 2020;
originally announced January 2020.
-
The $\dot W^{-1,p}$ Neumann problem for higher order elliptic equations
Authors:
Ariel Barton
Abstract:
We solve the Neumann problem in the half space $\mathbb{R}^{n+1}_+$, for higher order elliptic differential equations with variable self-adjoint $t$-independent coefficients, and with boundary data in the negative smoothness space $\dot W^{-1,p}$, where $\max(0,\frac{1}{2}-\frac{1}{n}-\varepsilon) <\frac{1}{p} <\frac{1}{2}$. Our arguments are inspired by an argument of Shen and build on known well…
▽ More
We solve the Neumann problem in the half space $\mathbb{R}^{n+1}_+$, for higher order elliptic differential equations with variable self-adjoint $t$-independent coefficients, and with boundary data in the negative smoothness space $\dot W^{-1,p}$, where $\max(0,\frac{1}{2}-\frac{1}{n}-\varepsilon) <\frac{1}{p} <\frac{1}{2}$. Our arguments are inspired by an argument of Shen and build on known well posedness results in the case $p=2$.
We use the same techniques to establish nontangential and square function estimates on layer potentials with inputs in $L^p$ or $\dot W^{\pm1,p}$ for a similar range of $p$, based on known bounds for $p$ near $2$; in this case we may relax the requirement of self-adjointess.
△ Less
Submitted 28 June, 2019;
originally announced June 2019.
-
Numerical Continuation in Nonlinear Experiments using Local Gaussian Process Regression
Authors:
L. Renson,
J. Sieber,
D. A. W. Barton,
A. D. Shaw,
S. A. Neild
Abstract:
Control-based continuation (CBC) is a general and systematic method to probe the dynamics of nonlinear experiments. In this paper, CBC is combined with a novel continuation algorithm that is robust to experimental noise and enables the tracking of geometric features of the response surface such as folds. The method uses Gaussian process regression to create a local model of the response surface on…
▽ More
Control-based continuation (CBC) is a general and systematic method to probe the dynamics of nonlinear experiments. In this paper, CBC is combined with a novel continuation algorithm that is robust to experimental noise and enables the tracking of geometric features of the response surface such as folds. The method uses Gaussian process regression to create a local model of the response surface on which standard numerical continuation algorithms can be applied. The local model evolves as continuation explores the experimental parameter space, exploiting previously captured data to actively select the next data points to collect such that they maximise the potential information gain about the feature of interest. The method is demonstrated experimentally on a nonlinear structure featuring harmonically-coupled modes. Fold points present in the response surface of the system are followed and reveal the presence of an isola, i.e. a branch of periodic responses detached from the main resonance peak.
△ Less
Submitted 9 May, 2019; v1 submitted 21 January, 2019;
originally announced January 2019.
-
Nontangential estimates on layer potentials and the Neumann problem for higher order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
We solve the Neumann problem, with nontangential estimates, for higher order divergence form elliptic operators with variable $t$-independent coefficients. Our results are accompanied by nontangential estimates on higher order layer potentials.
We solve the Neumann problem, with nontangential estimates, for higher order divergence form elliptic operators with variable $t$-independent coefficients. Our results are accompanied by nontangential estimates on higher order layer potentials.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
Dynamic and Stochastic Propagation of Brenier's Optimal Mass Transport
Authors:
Alistair Barton,
Nassif Ghoussoub
Abstract:
We investigate how mass transports that optimize the inner product cost -considered by Y. Brenier- propagate in time along a given Lagrangian. In the deterministic case, we consider transports that maximize and minimize the following "ballistic" cost functional on phase space $M^*\times M$, \[ b_T(v, x):=\inf\{\langle v, γ(0)\rangle +\int_0^TL(t, γ(t), {\dot γ}(t))\, dt; γ\in C^1([0, T), M); γ(T)=…
▽ More
We investigate how mass transports that optimize the inner product cost -considered by Y. Brenier- propagate in time along a given Lagrangian. In the deterministic case, we consider transports that maximize and minimize the following "ballistic" cost functional on phase space $M^*\times M$, \[ b_T(v, x):=\inf\{\langle v, γ(0)\rangle +\int_0^TL(t, γ(t), {\dot γ}(t))\, dt; γ\in C^1([0, T), M); γ(T)=x\}, \] where $M=\mathbb{R}^d$, $T>0$, and $L:M\times M \to \mathbb{R}$ is a suitable Lagrangian. We also consider the stochastic counterpart:
\begin{align*}%\tag{$\star$} \underline{B}_T^s(μ,ν):=\inf\left\{\mathbb{E}\left[\langle V,X_0\rangle +\int_0^T L(t, X,β(t,X))\,dt\right]; X\in \mathcal{A}, V\simμ,X_T\sim ν\right\}
\end{align*} where $\mathcal{A}$ is the set of stochastic processes satisfying $dX=β_X(t,X)\,dt+ dW_t,$ for some drift $β_X(t,X)$, and where $W_t$ is $σ(X_s:0\le s\le t)$-Brownian motion. While inf-convolution allows us to easily obtain Hopf-Lax formulas on Wasserstein space for cost minimizing transports, this is not the case for total cost maximizing transports, which actually are sup-inf problems. However, in the case where the Lagrangian $L$ is jointly convex on phase space, Bolza-type dualities --well known in the deterministic case but novel in the stochastic case--transform sup-inf problems to sup-sup settings. Hopf-Lax formulas relate optimal ballistic transports to those associated with dynamic fixed-end transports studied by Bernard-Buffoni and Fathi-Figalli in the deterministic case, and by Mikami-Thieullen in the stochastic setting. We also write Eulerian formulations and point to links with the theory of mean field games.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Force appropriation of nonlinear structures
Authors:
L. Renson,
T. L. Hill,
D. A. Ehrhardt,
D. A. W. Barton,
S. A. Neild
Abstract:
Nonlinear normal modes (NNMs) are widely used as a tool for developing mathematical models of nonlinear structures and understanding their dynamics. NNMs can be identified experimentally through a phase quadrature condition between the system response and the applied excitation. This paper demonstrates that this commonly-used quadrature condition can give results that are significantly different f…
▽ More
Nonlinear normal modes (NNMs) are widely used as a tool for developing mathematical models of nonlinear structures and understanding their dynamics. NNMs can be identified experimentally through a phase quadrature condition between the system response and the applied excitation. This paper demonstrates that this commonly-used quadrature condition can give results that are significantly different from the true NNM, in particular when the excitation applied to the system is limited to one input force, as is frequently used in practice. The system studied is a clamped-clamped cross beam with two closely-spaced modes. This paper shows that the regions where the quadrature condition is (in)accurate can be qualitatively captured by analysing transfer of energy between the modes of the system, leading to a discussion of the appropriate number of input forces and their locations across the structure.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
On Optimal Stochastic Ballistic Transports
Authors:
Alistair Barton,
Nassif Ghoussoub
Abstract:
For a given Lagrangian $L:[0,T]\times M\times M^\ast\rightarrow \mathbb{R}_+$ and probability measures $μ\in\mathcal{P}(M^\ast)$, $ν\in \mathcal{P}(M)$, we introduce the stochastic ballistic transportation problems \begin{align}\tag{$\star$}
\underline{B}(μ,ν):=\inf\left\{\mathbb{E}\left[\langle V,X_0\rangle +\int_0^T L(t,X,β(t,X))\,dt\right]\middle\rvert V\simμ,X_T\sim ν\right\}\\\tag{…
▽ More
For a given Lagrangian $L:[0,T]\times M\times M^\ast\rightarrow \mathbb{R}_+$ and probability measures $μ\in\mathcal{P}(M^\ast)$, $ν\in \mathcal{P}(M)$, we introduce the stochastic ballistic transportation problems \begin{align}\tag{$\star$}
\underline{B}(μ,ν):=\inf\left\{\mathbb{E}\left[\langle V,X_0\rangle +\int_0^T L(t,X,β(t,X))\,dt\right]\middle\rvert V\simμ,X_T\sim ν\right\}\\\tag{$\star\star$}
\overline{B}(ν,μ):=\sup\left\{\mathbb{E}\left[\langle V,X_T\rangle -\int_0^T L(t,X,β(t,X))\,dt\right]\middle\rvert V\simμ,X_0\sim ν\right\} \end{align} where $X$ is a diffusion process with drift $β$. This cost is based on the stochastic optimal transport problem presented by Mikami and the deterministic ballistic transport introduced by Ghoussoub. We obtain a Kantorovich-style duality result that reformulates this problem in terms of solutions to the Hamilton-Jacobi-Bellman equation \begin{equation*}
\frac{\partialφ}{\partial t}+\frac{1}{2}Δφ+H(t,x,\nablaφ)=0, \end{equation*} and show how optimal processes may be thereby attained.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
Extrapolation of well posedness for higher order elliptic systems with rough coefficients
Authors:
Ariel Barton
Abstract:
In this paper we study boundary value problems for higher order elliptic differential operators in divergence form. We establish well posedness for problems with boundary data in Besov spaces $\dot B^{p,p}_s$, $p\leq 1$, given well posedness for appropriate values of $s$ and $p>1$. We work with smoothness parameter $s$ between $0$ and $1$; this allows us to consider inhomogeneous differential equa…
▽ More
In this paper we study boundary value problems for higher order elliptic differential operators in divergence form. We establish well posedness for problems with boundary data in Besov spaces $\dot B^{p,p}_s$, $p\leq 1$, given well posedness for appropriate values of $s$ and $p>1$. We work with smoothness parameter $s$ between $0$ and $1$; this allows us to consider inhomogeneous differential equations.
Combined with results of Maz'ya, I. Mitrea, M. Mitrea, and Shaposhnikova, this allows us to establish new well posedness results for higher order operators whose coefficients are in or close to the space $VMO$, for the biharmonic operator, and for fourth-order operators close to the biharmonic operator.
△ Less
Submitted 16 August, 2017;
originally announced August 2017.
-
Layer potentials for general linear elliptic systems
Authors:
Ariel Barton
Abstract:
In this paper we construct layer potentials for elliptic differential operators using the Lax-Milgram theorem, without recourse to the fundamental solution; this allows layer potentials to be constructed in very general settings. We then generalize several well known properties of layer potentials for harmonic and second order equations, in particular the Green's formula, jump relations, adjoint r…
▽ More
In this paper we construct layer potentials for elliptic differential operators using the Lax-Milgram theorem, without recourse to the fundamental solution; this allows layer potentials to be constructed in very general settings. We then generalize several well known properties of layer potentials for harmonic and second order equations, in particular the Green's formula, jump relations, adjoint relations, and Verchota's equivalence between well-posedness of boundary value problems and invertibility of layer potentials.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Dirichlet and Neumann boundary values of solutions to higher order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
We show that if $u$ is a solution to a linear elliptic differential equation of order $2m\geq 2$ in the half-space with $t$-independent coefficients, and if $u$ satisfies certain area integral estimates, then the Dirichlet and Neumann boundary values of $u$ exist and lie in a Lebesgue space $L^p(\mathbb{R}^n)$ or Sobolev space $\dot W^p_{\pm 1}(\mathbb{R}^n)$. Even in the case where $u$ is a solut…
▽ More
We show that if $u$ is a solution to a linear elliptic differential equation of order $2m\geq 2$ in the half-space with $t$-independent coefficients, and if $u$ satisfies certain area integral estimates, then the Dirichlet and Neumann boundary values of $u$ exist and lie in a Lebesgue space $L^p(\mathbb{R}^n)$ or Sobolev space $\dot W^p_{\pm 1}(\mathbb{R}^n)$. Even in the case where $u$ is a solution to a second order equation, our results are new for certain values of~$p$.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
The Neumann problem for higher order elliptic equations with symmetric coefficients
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
In this paper we establish well posedness of the Neumann problem with boundary data in $L^2$ or the Sobolev space $\dot W^2_{-1}$, in the half space, for linear elliptic differential operators with coefficients that are constant in the vertical direction and in addition are self adjoint. This generalizes the well known well-posedness result of the second order case and is based on a higher order a…
▽ More
In this paper we establish well posedness of the Neumann problem with boundary data in $L^2$ or the Sobolev space $\dot W^2_{-1}$, in the half space, for linear elliptic differential operators with coefficients that are constant in the vertical direction and in addition are self adjoint. This generalizes the well known well-posedness result of the second order case and is based on a higher order and one sided version of the classic Rellich identity, and is the first known well posedness result for a higher order operator with rough variable coefficients and boundary data in a Lebesgue or Sobolev space.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Bounds on layer potentials with rough inputs for higher order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
In this paper we establish square-function estimates on the double and single layer potentials with rough inputs for divergence form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space.
In this paper we establish square-function estimates on the double and single layer potentials with rough inputs for divergence form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space.
△ Less
Submitted 19 August, 2019; v1 submitted 20 March, 2017;
originally announced March 2017.
-
Perturbation of well-posedness and layer potentials for higher-order elliptic systems with rough coefficients
Authors:
Ariel Barton
Abstract:
In this paper we study boundary value problems for higher order elliptic differential operators in divergence form. We consider the two closely related topics of inhomogeneous problems and problems with boundary data in fractional smoothness spaces.
We establish $L^\infty$ perturbative results concerning well posedness of inhomogeneous problems with boundary data in fractional smoothness spaces.…
▽ More
In this paper we study boundary value problems for higher order elliptic differential operators in divergence form. We consider the two closely related topics of inhomogeneous problems and problems with boundary data in fractional smoothness spaces.
We establish $L^\infty$ perturbative results concerning well posedness of inhomogeneous problems with boundary data in fractional smoothness spaces.
Combined with earlier known results, this allows us to establish new well posedness results for second order operators whose coefficients are close to being real and t-independent and for fourth-order operators close to the biharmonic operator.
△ Less
Submitted 28 July, 2017; v1 submitted 31 March, 2016;
originally announced April 2016.
-
Trace and extension theorems relating Besov spaces to weighted averaged Sobolev spaces
Authors:
Ariel Barton
Abstract:
There are known trace and extension theorems relating functions in a weighted Sobolev space in a domain U to functions in a Besov space on the boundary bU. We extend these theorems to the case where the Sobolev exponent p is less than one by modifying our Sobolev spaces to consider averages of functions in Whitney balls. Averaged Sobolev spaces are also of interest in the applications in the case…
▽ More
There are known trace and extension theorems relating functions in a weighted Sobolev space in a domain U to functions in a Besov space on the boundary bU. We extend these theorems to the case where the Sobolev exponent p is less than one by modifying our Sobolev spaces to consider averages of functions in Whitney balls. Averaged Sobolev spaces are also of interest in the applications in the case where p>1, and so we also provide trace and extension results in that case. Finally, we provide some comparable results for Neumann traces and extensions.
△ Less
Submitted 28 July, 2017; v1 submitted 31 March, 2016;
originally announced April 2016.
-
Higher-order elliptic equations in non-smooth domains: history and recent results
Authors:
Ariel Barton,
Svitlana Mayboroda
Abstract:
Recent years have brought significant advances in the theory of higher order elliptic equations in non-smooth domains. Sharp pointwise estimates on derivatives of polyharmonic functions in arbitrary domains were established, followed by the higher order Wiener test. Certain boundary value problems for higher order operators with variable non-smooth coefficients were addressed, both in divergence f…
▽ More
Recent years have brought significant advances in the theory of higher order elliptic equations in non-smooth domains. Sharp pointwise estimates on derivatives of polyharmonic functions in arbitrary domains were established, followed by the higher order Wiener test. Certain boundary value problems for higher order operators with variable non-smooth coefficients were addressed, both in divergence form and in composition form, the latter being adapted to the context of Lipschitz domains. These developments brought new estimates on the fundamental solutions and the Green function, allowing for the lack of smoothness of the boundary or of the coefficients of the equation. Building on our earlier account of history of the subject, this survey presents the current state of the art, emphasizing the most recent results and emerging open problems.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
Square function estimates on layer potentials for higher-order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
In this paper we establish square-function estimates on the double and single layer potentials for divergence-form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space. This generalizes known results for variable-coefficient second-order operators, and also for constant-coefficient higher-order operators.
In this paper we establish square-function estimates on the double and single layer potentials for divergence-form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space. This generalizes known results for variable-coefficient second-order operators, and also for constant-coefficient higher-order operators.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
Control-based continuation: bifurcation and stability analysis for physical experiments
Authors:
David A. W. Barton
Abstract:
Control-based continuation is technique for tracking the solutions and bifurcations of nonlinear experiments. The basic idea is to apply the method of numerical continuation to a feedback-controlled physical experiment. Since in an experiment it is not (generally) possible to set the state of the system directly, the control target is used as a proxy for the state. The challenge then becomes to de…
▽ More
Control-based continuation is technique for tracking the solutions and bifurcations of nonlinear experiments. The basic idea is to apply the method of numerical continuation to a feedback-controlled physical experiment. Since in an experiment it is not (generally) possible to set the state of the system directly, the control target is used as a proxy for the state. The challenge then becomes to determine a control target such that the control is non-invasive, that is, it stabilises a steady-state (or periodic orbit) of the original open-loop experiment without altering it otherwise.
Once implemented, control-based continuation enables the systematic investigation of the bifurcation structure of a physical system, much like if it was numerical model. However, stability information (and hence bifurcation detection and classification) is not readily available due to the presence of stabilising feedback control. This paper uses methods from the system identification community to extract stability information in the form of Floquet multipliers from the closed-loop experiment, thus enabling the direct detection of bifurcations. In particular, it is shown that a periodic auto-regressive model with exogenous inputs (ARX) can be constructed that approximates the time-varying linearisation of the experiment around a particular periodic orbit. This method is demonstrated using a physical nonlinear tuned mass damper.
△ Less
Submitted 22 December, 2015; v1 submitted 12 June, 2015;
originally announced June 2015.
-
Gradient estimates and the fundamental solution for higher-order elliptic systems with rough coefficients
Authors:
Ariel Barton
Abstract:
We extend several well-known tools from the theory of second-order divergence-form elliptic equations to the case of higher-order equations. These tools are the Caccioppoli inequality, Meyers's reverse Holder inequality for gradients, and the fundamental solution. Our construction of the fundamental solution may also be of interest in the theory of second-order operators, as we impose no regularit…
▽ More
We extend several well-known tools from the theory of second-order divergence-form elliptic equations to the case of higher-order equations. These tools are the Caccioppoli inequality, Meyers's reverse Holder inequality for gradients, and the fundamental solution. Our construction of the fundamental solution may also be of interest in the theory of second-order operators, as we impose no regularity assumptions on our elliptic operator beyond ellipticity and boundedness of coefficients.
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
-
Layer Potentials and Boundary-Value Problems for Second Order Elliptic Operators with Data in Besov Spaces
Authors:
Ariel Barton,
Svitlana Mayboroda
Abstract:
This monograph presents a comprehensive treatment of second order divergence form elliptic operators with bounded measurable t-independent coefficients in spaces of fractional smoothness, in Besov and weighted Sobolev classes.
We establish mapping properties for the double and single layer potentials, as well as the Newton potential, on Besov spaces. We prove extrapolation-type solvability resul…
▽ More
This monograph presents a comprehensive treatment of second order divergence form elliptic operators with bounded measurable t-independent coefficients in spaces of fractional smoothness, in Besov and weighted Sobolev classes.
We establish mapping properties for the double and single layer potentials, as well as the Newton potential, on Besov spaces. We prove extrapolation-type solvability results: that is, we show that solvability of the Dirichlet or Neumann boundary value problem at any given L^p space automatically assures their solvability in an extended range of Besov spaces. We also establish well-posedness for non-homogeneous boundary value problems.
In particular, we prove well-posedness of the non-homogeneous Dirichlet problem with data in Besov spaces for operators with real, not necessarily symmetric coefficients.
△ Less
Submitted 20 September, 2013;
originally announced September 2013.
-
The Dirichlet problem for higher order equations in composition form
Authors:
Ariel Barton,
Svitlana Mayboroda
Abstract:
The present paper commences the study of higher order differential equations in composition form. Specifically, we consider the equation Lu=\Div B^*\nabla(a\Div A\nabla u)=0, where A and B are elliptic matrices with complex-valued bounded measurable coefficients and a is an accretive function. Elliptic operators of this type naturally arise, for instance, via a pull-back of the bilaplacian Δ^2 fro…
▽ More
The present paper commences the study of higher order differential equations in composition form. Specifically, we consider the equation Lu=\Div B^*\nabla(a\Div A\nabla u)=0, where A and B are elliptic matrices with complex-valued bounded measurable coefficients and a is an accretive function. Elliptic operators of this type naturally arise, for instance, via a pull-back of the bilaplacian Δ^2 from a Lipschitz domain to the upper half-space. More generally, this form is preserved under a Lipschitz change of variables, contrary to the case of divergence-form fourth order differential equations. We establish well-posedness of the Dirichlet problem for the equation Lu=0, with boundary data in L^2, and with optimal estimates in terms of nontangential maximal functions and square functions.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
Systematic experimental exploration of bifurcations with non-invasive control
Authors:
David A. W. Barton,
Jan Sieber
Abstract:
We present a general method for systematically investigating the dynamics and bifurcations of a physical nonlinear experiment. In particular, we show how the odd-number limitation inherent in popular non-invasive control schemes, such as (Pyragas) time-delayed or washout-filtered feedback control, can be overcome for tracking equilibria or forced periodic orbits in experiments. To demonstrate the…
▽ More
We present a general method for systematically investigating the dynamics and bifurcations of a physical nonlinear experiment. In particular, we show how the odd-number limitation inherent in popular non-invasive control schemes, such as (Pyragas) time-delayed or washout-filtered feedback control, can be overcome for tracking equilibria or forced periodic orbits in experiments. To demonstrate the use of our non-invasive control, we trace out experimentally the resonance surface of a periodically forced mechanical nonlinear oscillator near the onset of instability, around two saddle-node bifurcations (folds) and a cusp bifurcation.
△ Less
Submitted 15 March, 2013; v1 submitted 17 September, 2012;
originally announced September 2012.
-
A new class of harmonic measure distribution functions
Authors:
Ariel Barton,
Lesley A. Ward
Abstract:
Let D be a planar domain containing 0. Let h_D(r) be the harmonic measure at 0 in D of the part of the boundary of D within distance r of 0. The resulting function h_D is called the harmonic measure distribution function of D. In this paper we address the inverse problem by establishing several sets of sufficient conditions on a function f for f to arise as a harmonic measure distribution function…
▽ More
Let D be a planar domain containing 0. Let h_D(r) be the harmonic measure at 0 in D of the part of the boundary of D within distance r of 0. The resulting function h_D is called the harmonic measure distribution function of D. In this paper we address the inverse problem by establishing several sets of sufficient conditions on a function f for f to arise as a harmonic measure distribution function. In particular, earlier work of Snipes and Ward shows that for each function f that increases from zero to one, there is a sequence of multiply connected domains X_n such that h_{X_n} converges to f pointwise almost everywhere. We show that if f satisfies our sufficient conditions, then f = h_D, where D is a subsequential limit of bounded simply connected domains that approximate the domains X_n. Further, the limit domain is unique in a class of suitably symmetric domains. Thus f = h_D for a unique symmetric bounded simply connected domain D.
△ Less
Submitted 7 April, 2012;
originally announced April 2012.
-
Elliptic Partial Differential Equations with Complex Coefficients
Authors:
Ariel Barton
Abstract:
In this paper we investigate elliptic partial differential equations on Lipschitz domains in the plane whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates. We show that for Dirichlet boundary data in L^p for p large enough, solutions exist and are controlled by the L^p-norm of the boundary data. Similarly, for Neumann boundar…
▽ More
In this paper we investigate elliptic partial differential equations on Lipschitz domains in the plane whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates. We show that for Dirichlet boundary data in L^p for p large enough, solutions exist and are controlled by the L^p-norm of the boundary data. Similarly, for Neumann boundary data in L^q, or for Dirichlet boundary data whose tangential derivative is in L^q (regularity boundary data), for q small enough, we show that solutions exist and are controlled by the L^q-norm of the boundary data. We prove similar results for Neumann or regularity boundary data in the Hardy space H^1, and for bounded or BMO Dirichlet boundary data. Finally, we show some converses: if the solutions are controlled in some sense, then Dirichlet, Neumann, or regularity boundary data must exist.
△ Less
Submitted 18 November, 2009; v1 submitted 12 November, 2009;
originally announced November 2009.
