Progress towards a Grand Unified Theory of Mathematics

Science advances by overturning theories, replacing them by better ones. Sometimes, the old theories continue to serve as valuable approximations, as with Newton’s laws of motion [TM260 or search for “thatsmaths” at irishtimes.com]. Sometimes, the older theories become redundant and are forgotten. The theory of phlogiston, a fire-like element released during combustion, and the luminiferous … Continue reading Progress towards a Grand Unified Theory of Mathematics

Vertical or Horizontal Slices? Riemann and Lebesgue Integration.

For simple sets, we have geometric length, area and volume. But how can we establish these dimensions for complicated curves, areas and volumes. Integral calculus provides a powerful tool for answering such questions. The area $latex {A}&fg=000000$ between the curve $latex {y=y(x)}&fg=000000$ and the $latex {x}&fg=000000$-axis is $latex \displaystyle A = \int_{x_1}^{x_2} y(x) \mathrm{dx} \,. &fg=000000$ … Continue reading Vertical or Horizontal Slices? Riemann and Lebesgue Integration.

Christopher Wren and the Cycloid

The remarkable polymath Christopher Wren died in March 1723, just 300 years ago. Sarah Hart, Professor of Geometry at Gresham College, recently presented a lecture, The Mathematical Life of Sir Christopher Wren; a video of her presentation in available online (see sources below). The illustration above is from the Gresham College website. Christopher Wren In … Continue reading Christopher Wren and the Cycloid

Low-pass Filtering and the Remarkable Integrals of Borwein and Borwein

In last week's post we looked at aspects of puzzles of the form ``What is the next number''. We are presented with a short list of numbers, for example $latex {1, 3, 5, 7, 9}&fg=000000$ and asked for the next number in the sequence. Arguments were given indicating why any number might be regarded as … Continue reading Low-pass Filtering and the Remarkable Integrals of Borwein and Borwein

CND Functions: Curves that are Continuous but Nowhere Differentiable

A function $latex {f(x)}&fg=000000$ that is differentiable at a point $latex {x}&fg=000000$ is continuous there, and if differentiable on an interval $latex {[a, b]}&fg=000000$, is continuous on that interval. However, the converse is not necessarily true: the continuity of a function at a point or on an interval does not guarantee that it is differentiable … Continue reading CND Functions: Curves that are Continuous but Nowhere Differentiable

Topological Calculus: away with those nasty epsilons and deltas

A new approach to calculus has recently been developed by Peter Olver of the University of Minnesota. He calls it ``Continuous Calculus'' but indicates that the name ``Topological Calculus'' is also appropriate. He has provided an extensive set of notes, which are available online (Olver, 2022a)]. Motivation Students embarking on a university programme in mathematics … Continue reading Topological Calculus: away with those nasty epsilons and deltas

Dynamic Equations for Weather and Climate

``I could have done it in a much more complicated way'', said the Red Queen, immensely proud. --- Lewis Carroll. Books on dynamic meteorology and oceanography usually have a full chapter devoted to the basic dynamical equations. Since the Earth's fluid envelop is approximately a thin spherical shell, spherical coordinates $latex {(\lambda,\varphi, r)}&fg=000000$ are convenient. … Continue reading Dynamic Equations for Weather and Climate

Curl Curl Curl

Many of us have struggled with the vector differential operators, grad, div and curl. There are several ways to represent vectors and several expressions for these operators, not always easy to remember. We take another look at some of their properties here. We consider a vector $latex {\mathbf{V} = (u, v, w)^{\mathrm{T}}}&fg=000000$ which may be … Continue reading Curl Curl Curl

Space-Filling Curves, Part II: Computing the Limit Function

The Approximating Functions It is simple to define a mapping from the unit interval $latex {I := [0,1]}&fg=000000$ into the unit square $latex {Q:=[0,1]\times[0,1]}&fg=000000$. Georg Cantor found a one-to-one map from $latex {I}&fg=000000$ onto $latex {Q}&fg=000000$, showing that the one-dimensional interval and the two-dimensional square have the same cardinality. Cantor's map was not continuous, but … Continue reading Space-Filling Curves, Part II: Computing the Limit Function

Space-Filling Curves, Part I: “I see it, but I don’t believe it”

We are all familiar with the concept of dimension: a point is zero-dimensional, a line is one-dimensional, a plane is two-dimensional and the space around us is three-dimensional. A position on a line can be specified by a single number, such as the distance from a fixed origin. In the plane, a point can be … Continue reading Space-Filling Curves, Part I: “I see it, but I don’t believe it”

Mamikon’s Visual Calculus and Hamilton’s Hodograph

[This is a condensed version of an article [5] in Mathematics Today] A remarkable theorem, discovered in 1959 by Armenian astronomer Mamikon Mnatsakanian, allows problems in integral calculus to be solved by simple geometric reasoning, without calculus or trigonometry. Mamikon's Theorem states that `The area of a tangent sweep of a curve is equal to … Continue reading Mamikon’s Visual Calculus and Hamilton’s Hodograph

Infinitesimals: vanishingly small but not quite zero

A few weeks ago, I wrote about  Hyperreals and Nonstandard Analysis , promising to revisit the topic. Here comes round two. We know that 2.999… is equal to three. But many people have a sneaking suspicion that there is “something” between the number with all those 9’s after the 2 and the number 3, that is not … Continue reading Infinitesimals: vanishingly small but not quite zero

Hyperreals and Nonstandard Analysis

Following the invention of calculus, serious concerns persisted about the mathematical integrity of the method of infinitesimals. Leibniz made liberal use of infinitesimals, with great effect, but his reasoning was felt to lack rigour. The Irish bishop George Berkeley criticised the assumptions underlying calculus, and his objections were not properly addressed for several centuries. In … Continue reading Hyperreals and Nonstandard Analysis

De Branges’s Proof of the Bieberbach Conjecture

It is a simple matter to post a paper on arXiv.org claiming to prove Goldbach's Conjecture, the Twin Primes Conjecture or any of a large number of other interesting hypotheses that are still open. However, unless the person posting the article is well known, it is likely to be completely ignored. Mathematicians establish their claims … Continue reading De Branges’s Proof of the Bieberbach Conjecture

A Grand Unification of Mathematics

There are numerous branches of mathematics, from arithmetic, geometry and algebra at an elementary level to more advanced fields like number theory, topology and complex analysis. Each branch has its own distinct set of axioms, or fundamental assumptions, from which theorems are derived by logical processes. While each branch has its own flavour, character and … Continue reading A Grand Unification of Mathematics

Circles, polygons and the Kepler-Bouwkamp constant

If circles are drawn in and around an equilateral triangle (a regular trigon), the ratio of the radii is $latex {\cos \pi/3 = 0.5}&fg=000000$. More generally, for an N-gon the ratio is easily shown to be $latex {\cos \pi/N}&fg=000000$. Johannes Kepler, in developing his amazing polyhedral model of the solar system, started by considering circular … Continue reading Circles, polygons and the Kepler-Bouwkamp constant

Differential Forms and Stokes’ Theorem

The theory of exterior calculus of differential forms was developed by the influential French mathematician Élie Cartan, who did fundamental work in the theory of differential geometry. Cartan is regarded as one of the great mathematicians of the twentieth century. The exterior calculus generalizes multivariate calculus, and allows us to integrate functions over differentiable manifolds … Continue reading Differential Forms and Stokes’ Theorem

The Basel Problem: Euler’s Bravura Performance

The Basel problem was first posed by Pietro Mengoli, a mathematics professor at the University of Bologna, in 1650, the same year in which he showed that the alternating harmonic series sums to $latex {\ln 2}&fg=000000$. The Basel problem asks for the sum of the reciprocals of the squares of the natural numbers, $latex \displaystyle … Continue reading The Basel Problem: Euler’s Bravura Performance

Cornelius Lanczos – Inspired by Hamilton’s Quaternions

In May 1954, Cornelius Lanczos took up a position as senior professor in the School of Theoretical Physics at the Dublin Institute for Advanced Studies (DIAS). The institute had been established in 1940 by Eamon de Valera, with a School of Theoretical Physics and a School of Celtic Studies, reflecting de Valera's keen interest in … Continue reading Cornelius Lanczos – Inspired by Hamilton’s Quaternions

Adjoints of Vector Operators

We take a fresh look at the vector differential operators grad, div and curl. There are many vector identities relating these. In particular, there are two combinations that always yield zero results: $latex \displaystyle \begin{array}{rcl} \mathbf{curl}\ \mathbf{grad}\ \chi &\equiv& 0\,, \quad \mbox{for all scalar functions\ }\chi \\ \mathrm{div}\ \mathbf{curl}\ \boldsymbol{\psi} &\equiv& 0\,, \quad \mbox{for all … Continue reading Adjoints of Vector Operators

Grad, Div and Curl on Weather Maps: a Gateway to Vector Analysis

Vector analysis can be daunting for students. The theory can appear abstract, and operators like Grad, Div and Curl seem to be introduced without any obvious motivation. Concrete examples can make things easier to understand. Weather maps, easily obtained on the web, provide real-life applications of vector operators. Weather charts provide great examples of scalar … Continue reading Grad, Div and Curl on Weather Maps: a Gateway to Vector Analysis

Divergent Series Yield Valuable Results

Mathematicians have traditionally dealt with convergent series and shunned divergent ones. But, long ago, astronomers found that divergent expansions yield valuable results. If these so-called asymptotic expansions are truncated, the error is bounded by the first term omitted. Thus, by stopping just before the smallest term, excellent approximations may be obtained. Astronomical Series Many of … Continue reading Divergent Series Yield Valuable Results

Elliptic Trigonometry: Fun with “sun”, “cun” and “dun”

Introduction The circular functions arise from ratios of lengths in a circle. In a similar manner, the elliptic functions can be defined by means of ratios of lengths in an ellipse. Many of the key properties of the elliptic functions follow from simple geometric properties of the ellipse. Originally, Carl Gustav Jacobi defined the elliptic … Continue reading Elliptic Trigonometry: Fun with “sun”, “cun” and “dun”

Some Fundamental Theorems of Maths

Every branch of mathematics has key results that are so important that they are dubbed fundamental theorems. The customary view of mathematical research is that of establishing the truth of propositions or theorems by rigorous deduction from axioms and definitions. Mathematics is founded upon axioms, basic assumptions that are taken as true. Logical reasoning is … Continue reading Some Fundamental Theorems of Maths

Bernard Bolzano, a Voice Crying in the Wilderness

Bernard Bolzano, born in Prague in 1781, was a Bohemian mathematician with Italian origins. Bolzano made several profound advances in mathematics that were not well publicized. As a result, his mathematical work was overlooked, often for many decades after his death. For example, his construction of a function that is continuous on an interval but … Continue reading Bernard Bolzano, a Voice Crying in the Wilderness

Really, 0.999999… is equal to 1. Surreally, this is not so!

The value of the recurring decimal 0.999999 … is a popular topic of conversation amongst amateur mathematicians of various levels of knowledge and expertise. Some of the discussions on the web are of little value or interest, but the topic touches on several subtle and deep aspects of number theory. In school we learn that … Continue reading Really, 0.999999… is equal to 1. Surreally, this is not so!

Fourier’s Wonderful Idea – II

Solving PDEs by a Roundabout Route Joseph Fourier, born just 250 years ago, introduced a wonderful idea that revolutionized science and mathematics: any function or signal can be broken down into simple periodic sine-waves. Radio waves, micro-waves, infra-red radiation, visible light, ultraviolet light, X-rays and gamma rays are all forms of electromagnetic radiation, differing only … Continue reading Fourier’s Wonderful Idea – II

The Evolute: Envelope of Normals

Every curve in the plane has several other curves associated with it. One of the most interesting and important of these is the evolute. Suppose the curve $latex {\gamma}&fg=000000$ is specified in parametric form $latex {(x(t), y(t))}&fg=000000$ for $latex {t \in [0,1]}&fg=000000$. The centre of curvature $latex {\Gamma = (X, Y)}&fg=000000$ at a particular point … Continue reading The Evolute: Envelope of Normals

Torricelli’s Trumpet & the Painter’s Paradox

    Evangelista Torricelli, a student of Galileo, is remembered as the inventor of the barometer. He was also a talented mathematician and he discovered the remarkable properties of a simple geometric surface, now often called Torricelli's Trumpet. It is the surface generated when the curve $latex {y=1/x}&fg=000000$ for $latex {x\ge1}&fg=000000$ is rotated in 3-space … Continue reading Torricelli’s Trumpet & the Painter’s Paradox

Taylor Expansions from India

  The English mathematician Brook Taylor (1685-1731) introduced the calculus of finite differences in his Methodus Incrementorum Directa et Inversa, published in 1715. This work contained the famous formula known today as Taylor's formula. In 1772, Lagrange described it as ``the main foundation of differential calculus'' (Wikipedia: Brook Taylor). Taylor also wrote a treatise on … Continue reading Taylor Expansions from India

Which is larger, e^pi or pi^e?

Which is greater, $latex {x^y}&fg=000000$ or $latex {y^x}&fg=000000$? Of course, it depends on the values of x and y. We might consider a particular case: Is $latex {e^\pi > \pi^e}&fg=000000$ or $latex {\pi^e > e^\pi}&fg=000000$? We assume that $latex {x}&fg=000000$ and $latex {y}&fg=000000$ are positive real numbers, and plot the function $latex \displaystyle z(x,y) = … Continue reading Which is larger, e^pi or pi^e?

Random Harmonic Series

We consider the convergence of the random harmonic series $latex \displaystyle R = \sum_{n=1}^{\infty}\frac{\sigma_{n}}{n} &fg=000000$ where $latex {\sigma_n\in\{-1,+1\}}&fg=000000$ is chosen randomly with probability $latex {1/2}&fg=000000$ of being either plus one or minus one. It follows from the Kolmogorov three-series theorem that the series is ``almost surely'' convergent. We are all familiar with the harmonic series … Continue reading Random Harmonic Series

Sigmoid Functions: Gudermannian and Gompertz Curves

The Gudermannian is named after Christoph Gudermann (1798--1852). The Gompertz function is named after Benjamin Gompertz (1779--1865). These are two amongst several sigmoid functions. Sigmoid functions find applications in many areas, including population dynamics, artificial neural networks, cartography, control systems and probability theory. We will look at several examples in this class of functions. Sigmoid … Continue reading Sigmoid Functions: Gudermannian and Gompertz Curves