arXiv subjects
Publications and source records attributed to Jonathan H. B. Deane.
We continue work started in [1] concerning integer sequences q(n), n in N, defined by q(n) = q(n-q(n-1)) + f(n), with q(1) = 1. Here, f(n), with f(1) = 0, is a given sequence. We define F as the set of semi-infinite sequence f such that the resulting sequence q exists. This requires that the term q(n-q(n-1)) be defined for all n, that is, 0 < q(n) < n+1 applies for all n in N.
We investigate the conditions on an integer sequence f(n), n 2 N, with f(1) = 0, such that the sequence q(n), computed recursively via q(n) = q(n - q(n - 1)) + f(n), with q(1) = 1, exists. We prove that f(n + 1) - f(n) in {0,1}, n > 0, is a sufficient but not necessary condition for the existence of sequence q. Sequences q defined in this way typically display non-trivial dynamics: in particular, they are generally aperiodic with no obvious patterns. We discuss and illustrate this behaviour with some examples.
In this paper we give an explicit sufficient condition for the affine map $u_λ(x):=λx$ to be the global energy minimizer of a general class of elastic stored-energy functionals $I(u)=\int_Ω W(\nabla u)\,dx$ in three space dimensions, where $W$ is a polyconvex function of $3 \times 3$ matrices. The function space setting is such that cavitating (i.e., discontinuous) deformations are admissible. In the language of the calculus of variations, the condition ensures the quasiconvexity of $I(\cdot)$ at $λ\mathbf{1}$, where $\mathbf{1}$ is the $3 \times 3$ identity matrix. Our approach relies on arguments involving null Lagrangians (in this case, affine combinations of the minors of $3 \times 3$ matrices), on the previous work Bevan & Zeppieri, 2015, and on a careful numerical treatment to make the calculation of certain constants tractable. We also derive a new condition, which seems to depend heavily on the smallest singular value $λ_1(\nabla u)$ of a competing deformation $u$, that is necessary for the inequality $I(u) < I(u_λ)$, and which, in particular, does not exclude the possibility of cavitation.
The commonest method of characterizing a cold field electron emitter is to measure its current-voltage characteristics, and the commonest method of analysing these characteristics is by means of a Fowler-Nordheim (FN) plot. This tutorial/review-type paper outlines a more systematic method of setting out the Fowler-Nordheim-type theory of cold field electron emission, and brings together and summarises the current state of work by the authors on developing the theory and methodology of FN plot analysis. This has turned out to be far more complicated than originally expected. Emphasis is placed in this paper on: (a) the interpretation of FN-plot slopes, which is currently both easier and of more experimental interest than the analysis of FN-plot intercepts; and (b) preliminary explorations into developing methodology for interpreting current-voltage characteristics when there is series resistance in the conduction path from the high-voltage generator to the emitter's emitting regions. This work reinforces our view that FN-plot analysis is best carried out on the raw measured current-voltage data, without pre-conversion into another data format, particularly if series resistance is present in the measuring circuit. Relevant formulae are given for extracting field-enhancement-factor values from such an analysis.
We present an algorithm for the rapid numerical integration of a time-periodic ODE with a small dissipation term that is $C^1$ in the velocity. Such an ODE arises as a model of spin-orbit coupling in a star/planet system, and the motivation for devising a fast algorithm for its solution comes from the desire to estimate probability of capture in various solutions, via Monte Carlo simulation: the integration times are very long, since we are interested in phenomena occurring on times similar to the formation time of the planets. The proposed algorithm is based on the High-order Euler Method (HEM) which was described in~\cite{hem}, and it requires computer algebra to set up the code for its implementation. The pay-off is an overall increase in speed by a factor of about $7.5$ compared to standard numerical methods. Means for accelerating the purely numerical computation are also discussed
We present an algorithm for the rapid numerical integration of smooth, time-periodic differential equations with small nonlinearity, particularly suited to problems with small dissipation. The emphasis is on speed without compromising accuracy and we envisage applications in problems where integration over long time scales is required; for instance, orbit probability estimation via Monte Carlo simulation. We demonstrate the effectiveness of our algorithm by applying it to the spin-orbit problem, for which we have derived analytical results for comparison with those that we obtain numerically. Among other tests, we carry out a careful comparison of our numerical results with the analytically predicted set of periodic orbits that exists for given parameters. Further tests concern the long-term behaviour of solutions moving towards the quasi-periodic attractor, and capture probabilities for the periodic attractors computed from the formula of Goldreich and Peale. We implement the algorithm in standard double precision arithmetic and show that this is adequate to obtain an excellent measure of agreement between analytical predictions and the proposed fast algorithm.
We consider dissipative periodically forced systems and investigate cases in which having information as to how the system behaves for constant dissipation may be used when dissipation varies in time before settling at a constant final value. First, we consider situations where one is interested in the basins of attraction for damping coefficients varying linearly between two given values over many different time intervals: we outline a method to reduce the computation time required to estimate numerically the relative areas of the basins and discuss its range of applicability. Second, we observe that sometimes very slight changes in the time interval may produce abrupt large variations in the relative areas of the basins of attraction of the surviving attractors: we show how comparing the contracted phase space at a time after the final value of dissipation has been reached with the basins of attraction corresponding to that value of constant dissipation can explain the presence of such variations. Both procedures are illustrated by application to a pendulum with periodically oscillating support.
This technical note relates to the theory of cold field electron emission (CFE). It starts by suggesting that, to emphasize common properties in relation to CFE theory, the term 'Lauritsen plot' could be used to describe all graphical plots made with the reciprocal of barrier field (or the reciprocal of a quantity proportional to barrier field) on the horizontal axis. It then argues that Lauritsen plots related to barrier strength (G) and transmission probability (D) could play a useful role in discussion of CFE theory. Such plots would supplement conventional Fowler-Nordheim (FN) plots. All these plots would be regarded as particular types of Lauritsen plot. The Lauritsen plots of -G and lnD can be used to illustrate how basic aspects of FN tunnelling theory are influenced by the mathematical form of the tunnelling barrier. These, in turn, influence local emission current density and emission current. Illustrative applications used in this note relate to the well-known exact triangular and Schottky-Nordheim barriers, and to the Coulomb barrier (i.e., the electrostatic component of the electron potential energy barrier outside a model spherical emitter). For the Coulomb barrier, a good analytical series approximation has been found for the barrier-form correction factor; this can be used to predict the existence (and to some extent the properties) of related curvature in FN plots.
We give a comprehensive study of interpolation inequalities for periodic functions with zero mean, including the existence of and the asymptotic expansions for the extremals, best constants, various remainder terms, etc. Most attention is paid to the critical (logarithmic) Sobolev inequality in the two-dimensional case, although a number of results concerning the best constants in the algebraic case and different space dimensions are also obtained.
In this paper we consider a resonant injection-locked frequency divider which is of interest in electronics, and we investigate the frequency locking phenomenon when varying the amplitude and frequency of the injected signal. We study both analytically and numerically the structure of the Arnold tongues in the frequency-amplitude plane. In particular, we provide exact analytical formulae for the widths of the tongues, which correspond to the plateaux of the devil's staircase picture. The results account for numerical and experimental findings presented in the literature for special driving terms and, additionally, extend the analysis to a more general setting.
We consider a model for the injection-locked frequency divider, and study analytically the locking onto rational multiples of the driving frequency. We provide explicit formulae for the width of the plateaux appearing in the devil's staircase structure of the lockings, and in particular show that the largest plateaux correspond to even integer values for the ratio of the frequency of the driving signal to the frequency of the output signal. Our results prove the experimental and numerical results available in the literature.
An exact series expansion is now known for the Principal Field Emission Elliptic Function v, in terms of a complementary elliptic variable l' equal to y*y, where y is the Nordheim parameter. This expansion was originally found by using the algebraic manipulation package MAPLE. This paper presents a formal mathematical derivation. It has been discovered that v(l') is a particular solution of the ordinary differential equation (ODE) l'(1-l')d^2v/dl'^2=nv, when the index n = 3/16. This ODE appears to be new in mathematical physics and elliptic-function theory. The paper first uses an 1876 result from Cayley to establish the boundary condition that dv/dl' satisfies as l' tends to zero. It then uses the method of Frobenius to obtain two linearly independent series solutions for the ODE, and hence derives the series expansion for v(l'). It is shown that terms in ln{l'} are required in a mathematically correct solution, but fractional powers of l' are not. The form of the ODE also implies that it is mathematically impossible for simple Taylor expansion methods to generate good approximation formulae valid over the whole range 0 =< l' =< 1; this conclusion may also apply to barriers of other shapes. It is hoped that this derivation might serve as a paradigm for the treatment of other tunnelling barrier models for cold field electron emission, if in any particular case an ODE can be found for which the tunnelling-exponent correction function is a particular solution.
We consider a class of ordinary differential equations describing one-dimensional analytic systems with a quasi-periodic forcing term and in the presence of damping. In the limit of large damping, under some generic non-degeneracy condition on the force, there are quasi-periodic solutions which have the same frequency vector as the forcing term. We prove that such solutions are Borel summable at the origin when the frequency vector is either any one-dimensional number or a two-dimensional vector such that the ratio of its components is an irrational number of constant type. In the first case the proof given simplifies that provided in a previous work of ours. We also show that in any dimension $d$, for the existence of a quasi-periodic solution with the same frequency vector as the forcing term, the standard Diophantine condition can be weakened into the Bryuno condition. In all cases, under a suitable positivity condition, the quasi-periodic solution is proved to describe a local attractor.
We revisit a problem considered by Chow and Hale on the existence of subharmonic solutions for perturbed systems. In the analytic setting, under more general (weaker) conditions, we prove their results on the existence of bifurcation curves from the nonexistence to the existence of subharmonic solutions. In particular our results apply also when one has degeneracy to first order -- i.e. when the subharmonic Melnikov function vanishes identically. Moreover we can deal as well with the case in which degeneracy persists to arbitrarily high orders, in the sense that suitable generalisations to higher orders of the subharmonic Melnikov function are also identically zero. In general the bifurcation curves are not analytic, and even when they are smooth they can form cusps at the origin: we say in this case that the curves are degenerate as the corresponding tangent lines coincide. The technique we use is completely different from that of Chow and Hale, and it is essentially based on rigorous perturbation theory.
We consider a class of differential equations, $\ddot x + γ\dot x + g(x) = f(ωt)$, with $ω\in {\bf R}^{d}$, describing one-dimensional dissipative systems subject to a periodic or quasi-periodic (Diophantine) forcing. We study existence and properties of the limit cycle described by the trajectory with the same quasi-periodicity as the forcing. For $g(x)=x^{2p+1}$, $p\in {\bf N}$, we show that, when the dissipation coefficient is large enough, there is only one limit cycle and that it is a global attractor. In the case of other forces, including $g(x)=x^{2p}$ (with $p=1$ describing the varactor equation), we find estimates for the basin of attraction of the limit cycle.
We consider a class of second order ordinary differential equations describing one-dimensional systems with a quasi-periodic analytic forcing term and in the presence of damping. As a physical application one can think of a resistor-inductor-varactor circuit with a periodic (or quasi-periodic) forcing function, even if the range of applicability of the theory is much wider. In the limit of large damping we look for quasi-periodic solutions which have the same frequency vector of the forcing term, and we study their analyticity properties in the inverse of the damping coefficient. We find that already the case of periodic forcing terms is non-trivial, as the solution is not analytic in a neighbourhood of the origin: it turns out to be Borel-summable. In the case of quasi-periodic forcing terms we need Renormalization Group techniques in order to control the small divisors arising in the perturbation series. We show the existence of a summation criterion of the series in this case also, but, however, this can not be interpreted as Borel summability.