-
A diluted version of the problem of the existence of the Hofstadter sequence
Authors:
Jonathan H. B. Deane,
Guido Gentile
Abstract:
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,…
▽ More
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.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Power computation for the triboelectric nanogenerator
Authors:
J. H. B. Deane,
R. D. I. G. Dharmasena,
G. Gentile
Abstract:
We consider, from a mathematical perspective, the power generated by a contact-mode triboelectric nanogenerator, an energy harvesting device that has been well studied recently. We encapsulate the behaviour of the device in a differential equation, which although linear and of first order, has periodic coefficients, leading to some interesting mathematical problems. In studying these, we derive ap…
▽ More
We consider, from a mathematical perspective, the power generated by a contact-mode triboelectric nanogenerator, an energy harvesting device that has been well studied recently. We encapsulate the behaviour of the device in a differential equation, which although linear and of first order, has periodic coefficients, leading to some interesting mathematical problems. In studying these, we derive approximate forms for the mean power generated and the current waveforms, and describe a procedure for computing the Fourier coefficients for the current, enabling us to show how the power is distributed over the harmonics. Comparisons with accurate numerics validate our analysis.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
A calibration method for estimating critical cavitation loads from below in 3D nonlinear elasticity
Authors:
Jonathan J. Bevan,
Jonathan H. B. Deane
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
Numerics for the spin orbit equation of Makarov with constant eccentricity
Authors:
Michele V. Bartuccelli,
Jonathan H. B. Deane,
Guido Gentile
Abstract:
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 i…
▽ More
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
△ Less
Submitted 22 June, 2016;
originally announced June 2016.
-
Fowler-Nordheim Plot Analysis: a Progress Report
Authors:
Richard G. Forbes,
Jonathan H. B. Deane,
Andreas Fischer,
Marwan S. Mousa
Abstract:
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 summar…
▽ More
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 develo** 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 develo** 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.
△ Less
Submitted 1 July, 2016; v1 submitted 23 April, 2015;
originally announced April 2015.
-
The high-order Euler method and the spin-orbit model A fast algorithm for solving differential equations with small, smooth nonlinearity
Authors:
Michele V. Bartuccelli,
Jonathan H. B. Deane,
Guido Gentile
Abstract:
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 sim…
▽ More
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.
△ Less
Submitted 22 October, 2014;
originally announced October 2014.
-
Basins of attraction in forced systems with time-varying dissipation
Authors:
James A. Wright,
Jonathan H. B. Deane,
Michele Bartuccelli,
Guido Gentile
Abstract:
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 dam** coefficients varying linearly between two given values over man…
▽ More
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 dam** 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.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
Illustrating field emission theory by using Lauritsen plots of transmission probability and barrier strength
Authors:
Richard G. Forbes,
Jonathan H. B. Deane,
Andreas Fischer,
Marwan S. Mousa
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 November, 2012; v1 submitted 23 August, 2012;
originally announced August 2012.
-
Asymptotic expansions and extremals for the critical Sobolev and Gagliardo-Nirenberg inequalities on a torus
Authors:
Michele V. Bartuccelli,
Jonathan H. B. Deane,
Sergey Zelik
Abstract:
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 ca…
▽ More
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.
△ Less
Submitted 9 December, 2010;
originally announced December 2010.
-
Arnold tongues for a resonant injection-locked frequency divider: analytical and numerical results
Authors:
Michele V. Bartuccelli,
Jonathan H. B. Deane,
Guido Gentile,
Frank Schilder
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 October, 2009;
originally announced October 2009.
-
Frequency locking in the injection-locked frequency divider equation
Authors:
Michele V. Bartuccelli,
Jonathan H. B. Deane,
Guido Gentile
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 July, 2008;
originally announced July 2008.
-
Formal derivation of an exact series expansion for the Principal Field Emission Elliptic Function v
Authors:
Jonathan H. B. Deane,
Richard G. Forbes,
R. W. Shail
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 August, 2007; v1 submitted 7 August, 2007;
originally announced August 2007.
-
Quasi-periodic attractors, Borel summability and the Bryuno condition for strongly dissipative systems
Authors:
Guido Gentile,
Michele V. Bartuccelli,
Jonathan H. B. Deane
Abstract:
We consider a class of ordinary differential equations describing one-dimensional analytic systems with a quasi-periodic forcing term and in the presence of dam**. In the limit of large dam**, 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…
▽ More
We consider a class of ordinary differential equations describing one-dimensional analytic systems with a quasi-periodic forcing term and in the presence of dam**. In the limit of large dam**, 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.
△ Less
Submitted 7 April, 2006;
originally announced April 2006.
-
Bifurcation curves of subharmonic solutions
Authors:
Guido Gentile,
Michele V. Bartuccelli,
Jonathan H. B. Deane
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 April, 2006;
originally announced April 2006.
-
Globally and locally attractive solutions for quasi-periodically forced systems
Authors:
Michele V. Bartuccelli,
Jonathan H. B. Deane,
Guido Gentile
Abstract:
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,…
▽ More
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.
△ Less
Submitted 23 November, 2005;
originally announced November 2005.
-
Summation of divergent series and Borel summability for strongly dissipative equations with periodic or quasi-periodic forcing terms
Authors:
Guido Gentile,
Michele V. Bartuccelli,
Jonathan H. B. Deane
Abstract:
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 dam**. 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…
▽ More
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 dam**. 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 dam** 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 dam** 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.
△ Less
Submitted 28 January, 2005;
originally announced January 2005.