Straight Line Orbits in Hamiltonian Flows

We investigate periodic straight-line orbits (SLO) in Hamiltonian force fields using both direct and inverse methods. A general theorem is proven for natural Hamiltonians quadratic in the momenta in arbitrary dimension and specialized to two and three dimension. Next we specialize to homogeneous potentials and their superpositions, including the familiar H\'enon-Heiles problem. It is shown that SLO's can exist for arbitrary finite superpositions of $N$-forms. The results are applied to a family of generalized H\'enon-Heiles potentials having discrete rotational symmetry. SLO's are also found for superpositions of these potentials.Comment: laTeX with 6 figure

A Novel TRAF3IP2 Mutation Causing Chronic Mucocutaneous Candidiasis

Inborn errors of the IL-17-mediated signaling have been associated with chronic mucocutaneous candidiasis (CMC). We describe a patient with CMC, atopic dermatitis, enamel dysplasia, and recurrent parotitis harboring a novel compound heterozygous mutation of TRAF3IP2, leading to autosomal recessive ACT1 deficiency and deficient IL-17 signaling.info:eu-repo/semantics/publishedVersio

A global Carleman estimate in a transmission wave equation and application to a one-measurement inverse problem

We consider a transmission wave equation in two embedded domains in $R^2$, where the speed is $a1 > 0$ in the inner domain and $a2 > 0$ in the outer domain. We prove a global Carleman inequality for this problem under the hypothesis that the inner domain is strictly convex and $a1 > a2$ . As a consequence of this inequality, uniqueness and Lip- schitz stability are obtained for the inverse problem of retrieving a stationary potential for the wave equation with Dirichlet data and discontinuous principal coefficient from a single time-dependent Neumann boundary measurement

Homeomorphic Embedding for Online Termination of Symbolic Methods

Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems

Weakly Consistent Regularisation Methods for Ill-Posed Problems

This Chapter takes its origin in the lecture notes for a 9 h course at the Institut Henri Poincaré in September 2016. The course was divided in three parts. In the first part, which is not included herein, the aim was to first recall some basic aspects of stabilised finite element methods for convection-diffusion problems. We focus entirely on the second and third parts which were dedicated to ill-posed problems and their approximation using stabilised finite element methods. First we introduce the concept of conditional stability. Then we consider the elliptic Cauchy-problem and a data assimilation problem in a unified setting and show how stabilised finite element methods may be used to derive error estimates that are consistent with the stability properties of the problem and the approximation properties of the finite element space. Finally, we extend the result to a data assimilation problem subject to the heat equation