Euler's theorem under the microscope

In this article Geoff Tennant summarises the first half of Imre Lakatos's seminal 1976 book, "Proofs and refutations: the logic of mathematical discovery". Implications are drawn for the classroom treatment of proof.

On the existence of two-dimensional Euler flows satisfying energy-Casimir stability criteria

The energy-Casimir stability method, also known as the Arnold stability method, has been widely used in fluid dynamical applications to derive sufficient conditions for nonlinear stability. The most commonly studied system is two-dimensional Euler flow. It is shown that the set of two-dimensional Euler flows satisfying the energy-Casimir stability criteria is empty for two important cases: (i) domains having the topology of the sphere, and (ii) simply-connected bounded domains with zero net vorticity. The results apply to both the first and the second of Arnold’s stability theorems. In the spirit of Andrews’ theorem, this puts a further limitation on the applicability of the method. © 2000 American Institute of Physics.

Nonlinear stability of Euler flows in two-dimensional periodic domains

The non-quadratic conservation laws of the two-dimensional Euler equations are used to show that the gravest modes in a doubly-periodic domain with aspect ratio L = 1 are stable up to translations (or structurally stable) for finite-amplitude disturbances. This extends a previous result based on conservation of energy and enstrophy alone. When L 1, a saturation bound is established for the mode with wavenumber |k| = L −1 (the next-gravest mode), which is linearly unstable. The method is applied to prove nonlinear structural stability of planetary wave two on a rotating sphere.

Curl free pressure gradients over orography in a solution of the fully compressible Euler equations with implicit treatment of acoustic and gravity waves

Steep orography can cause noisy solutions and instability in models of the atmosphere. A new technique for modelling flow over orography is introduced which guarantees curl free gradients on arbitrary grids, implying that the pressure gradient term is not a spurious source of vorticity. This mimetic property leads to better hydrostatic balance and better energy conservation on test cases using terrain following grids. Curl-free gradients are achieved by using the co-variant components of velocity over orography rather than the usual horizontal and vertical components. In addition, gravity and acoustic waves are treated implicitly without the need for mean and perturbation variables or a hydrostatic reference profile. This enables a straightforward description of the implicit treatment of gravity waves. Results are presented of a resting atmosphere over orography and the curl-free pressure gradient formulation is advantageous. Results of gravity waves over orography are insensitive to the placement of terrain-following layers. The model with implicit gravity waves is stable in strongly stratified conditions, with N∆t up to at least 10 (where N is the Brunt-V ̈ais ̈al ̈a frequency). A warm bubble rising over orography is simulated and the curl free pressure gradient formulation gives much more accurate results for this test case than a model without this mimetic property.

Interface de cálculo modal e visualização para estruturas flexíveis tipo Euler-Bernoulli

Neste trabalho, foram analisadas, implementadas e mostradas as características de uma interface com estrutura de programação genérica para o ambiente Windows, criando facilidades de rapidez, confiabilidade e a apresentação de resultados aos usuários do sistema matemático Maple na criação e uso de aplicações matemáticas. A interface utilizou como modelo de implementação cálculos modais de vigas clássicas de Euler-Bernoulli. O usuário encontra, em um único sistema, cálculo para vigas clássicas, terá uma entrada de dados facilitada de variáveis que serão substituídas automaticamente no programa fonte da viga e a geração de resultados em um ambiente amigável com dados e gráficos mostrados de forma organizados.

A equação de Euler e a IS: estimações para o Brasil

Neste artigo estudamos a relação entre a taxa de juros e o hiato do produto no Brasil através da estimação de modelos Novo-Keynesianos. Para tanto, estimamos os modelos por três métodos: (1) método generalizados dos momentos, (2) máxima verossimilhança utilizando dados de expectativa divulgados pelo Banco Central do Brasil e (3) máxima verossimilhança utilizando variáveis de expectativa estimadas por um modelo VAR. As conclusões são altamente dependentes do método de estimação. Ao utilizar (1), os resultados indicam uma relação espúria entre a taxa de juros real e o hiato. Entretanto, as conclusões originadas de (2) indicam que somente o hiato defasado seria uma variável relevante para a nossa especificação. Ao estimar o modelo por (3), as estimativas corroboram os resultados obtidos com o método generalizados dos momentos.

A contractive method for computing the stationary solution of the euler equation

A contractive method for computing stationary solutions of intertemporal equilibrium models is provide. The method is is implemented using a contraction mapping derived from the first-order conditions. The deterministic dynamic programming problem is used to illustrate the method. Some numerical examples are performed.

De solutione problematum diophanteorum per números integros : o primeiro trabalho de Euler sobre equações diofantinas

The present dissertation analyses Leonhard Euler´s early mathematical work as Diophantine Equations, De solutione problematum diophanteorum per números íntegros (On the solution of Diophantine problems in integers). It was published in 1738, although it had been presented to the St Petersburg Academy of Science five years earlier. Euler solves the problem of making the general second degree expression a perfect square, i.e., he seeks the whole number solutions to the equation ax2+bx+c = y2. For this purpose, he shows how to generate new solutions from those already obtained. Accordingly, he makes a succession of substitutions equating terms and eliminating variables until the problem reduces to finding the solution of the Pell Equation. Euler erroneously assigns this type of equation to Pell. He also makes a number of restrictions to the equation ax2+bx+c = y and works on several subthemes, from incomplete equations to polygonal numbers