D
Deleted member 4993
Guest
(contd. from part I)
Goats in Higher Dimensions
In 1984, Fraser got creative, taking the problem out of the flat, pastoral realm and into more expansive terrain. He worked out how long a rope is needed to allow a goat to graze in exactly half the volume of an n-dimensional sphere as n goes to infinity. Meyerson spotted a logical flaw in the argument and corrected Fraser’s mistake later that year, but reached the same conclusion: As n approaches infinity, the ratio of the tethering rope to the sphere’s radius approaches √2.
As Meyerson noted, this seemingly more complicated way of framing the problem — in multidimensional space rather than a field of grass — actually made finding a solution easier. “In infinite dimensions, we have a clean answer, whereas in two dimensions there is not such a clear-cut solution.”
The grazing goat problem can take two forms, but both usually start with a goat tied to a circular fence. The interior version asks how long a goat’s leash should be if we want it to access exactly half the enclosed area. The exterior version asks how much outside area a goat has access to with a given length of rope and a given fence circumference. (In this case, the rope’s length is equal to the fence’s circumference.)
In 1998, Michael Hoffman, also a Naval Academy mathematician, expanded the problem in a different direction after coming across an example of the exterior problem through an online newsgroup. This version sought to quantify the area available to a bull tied outside a circular silo. The problem intrigued Hoffman, and he decided to generalize it to the exterior of not just a circle, but any smooth, convex curve, including ellipses and even unclosed curves.
“Once you see a problem stated in a simple case, being a mathematician you often try to see how you can generalize it,” Hoffman said.
It’s often of value in math to think up new ways of getting an answer — even to a problem that has been solved before.
Hoffman considered the case in which the leash (of length L) is less than or equal to half the curve’s circumference. First he drew a line tangent to the curve at the point where the bull’s leash is attached. The bull can graze on a semicircle of area πL2/2 bounded by the tangent. Hoffman then devised an exact integral solution for the spaces between the tangent and the curve to determine the total grazing area.
More recently, the Lancaster University mathematician Graham Jameson worked out the three-dimensional case of the interior problem in detail with his son Nicholas, choosing it because it has received less attention. Since goats can’t move easily in three dimensions, the Jamesons called it the “bird problem” in their 2017 paper: If you tether a bird to a point on the inside of a spherical cage, how long should the tether be to confine the bird to half the cage’s volume?
“The three-dimensional problem is actually simpler to solve than the two-dimensional one,” the older Jameson said, and the pair arrived at a precise solution. However, since the mathematical form of the answer — which Jameson characterized as “exact (albeit horrible!)” — would have been daunting to the uninitiated, they also used an approximation technique to provide a numerical answer for the tether length that “bird handlers might prefer.”
Getting His Goat
Nevertheless, an exact solution to the two-dimensional interior problem from 1894 remained elusive — until Ullisch’s paper earlier this year. Ullisch first heard of the goat problem from a relative in 2001, when he was a child. He started working on it in 2017, after earning a doctorate from the University of Münster. He wanted to try a new approach.
It was well known by then that the goat problem could be reduced to a single transcendental equation, which by definition includes trigonometric terms like sine and cosine. That could create a roadblock, as many transcendental equations are intractable; x = cos(x), for example, has no exact solutions.
Ingo Ullisch reached an exact solution for the grazing goat problem by applying a branch of math known as complex analysis.
But Ullisch set up the problem in such a way that he could get a more tractable transcendental equation to work with: sin(β) – β cos(β) − π/2 = 0. And while this equation may also seem unmanageable, he realized he could approach it using complex analysis — a branch of mathematics that applies analytic tools, including those of calculus, to expressions containing complex numbers. Complex analysis has been around for centuries, but as far as Ullisch knows, he was the first to apply this approach to hungry goats.
With this strategy, he was able to transform his transcendental equation into an equivalent expression for the length of rope that would let the goat graze in half the enclosure. In other words, he finally answered the question with a precise mathematical formulation.
Unfortunately, there’s a catch. Ullisch’s solution is not something simple like the square root of 2. It’s a bit more abstruse — the ratio of two so-called contour integral expressions, with numerous trigonometric terms thrown into the mix — and it can’t tell you, in a practical sense, how long to make the goat’s leash. Approximations are still required to get a number that’s useful to anyone in animal husbandry.
But Ullisch still sees value in having an exact solution, even if it’s not neat and simple. “If we only use numerical values (or approximations), we will never get to know the intrinsic nature of the solution,” he said. “Having a formula can give us further insight into how the solution is composed.”
Not Giving Up the Goat
Ullisch has set aside the grazing goat for now, as he’s not sure how to go further with it, but other mathematicians are pursuing their own ideas. Harrison, for instance, has an upcoming paper in Mathematics Magazine in which he exploits properties of the sphere to attack a three-dimensional generalization of the grazing-goat problem.
“It’s often of value in math to think up new ways of getting an answer — even to a problem that has been solved before,” Meyerson noted, “because maybe it can be generalized for use in other ways.”
And that’s why so much mathematical ink has been devoted to imaginary farm animals. “My instincts say that no breakthrough mathematics will come from work on the grazing-goat problem,” Harrison said, “but you never know. New math can come from anywhere.”
Hoffman is more optimistic. The transcendental equation Ullisch came up with is related to the transcendental equations Hoffman investigated in a 2017 paper. Hoffman’s interest in those equations was sparked, in turn, by a 1953 paper that stimulated further work by presenting established methods in a new light. He sees possible parallels in the way Ullisch applied known approaches in complex analysis to transcendental equations, this time in a novel setting involving goats.
“Not all progress in mathematics comes from people making fundamental breakthroughs,” Hoffman said. “Sometimes it consists of looking at classical approaches and finding a new angle — a new way of putting the pieces together that might eventually lead to new results.”
Goats in Higher Dimensions
In 1984, Fraser got creative, taking the problem out of the flat, pastoral realm and into more expansive terrain. He worked out how long a rope is needed to allow a goat to graze in exactly half the volume of an n-dimensional sphere as n goes to infinity. Meyerson spotted a logical flaw in the argument and corrected Fraser’s mistake later that year, but reached the same conclusion: As n approaches infinity, the ratio of the tethering rope to the sphere’s radius approaches √2.
As Meyerson noted, this seemingly more complicated way of framing the problem — in multidimensional space rather than a field of grass — actually made finding a solution easier. “In infinite dimensions, we have a clean answer, whereas in two dimensions there is not such a clear-cut solution.”
The grazing goat problem can take two forms, but both usually start with a goat tied to a circular fence. The interior version asks how long a goat’s leash should be if we want it to access exactly half the enclosed area. The exterior version asks how much outside area a goat has access to with a given length of rope and a given fence circumference. (In this case, the rope’s length is equal to the fence’s circumference.)
In 1998, Michael Hoffman, also a Naval Academy mathematician, expanded the problem in a different direction after coming across an example of the exterior problem through an online newsgroup. This version sought to quantify the area available to a bull tied outside a circular silo. The problem intrigued Hoffman, and he decided to generalize it to the exterior of not just a circle, but any smooth, convex curve, including ellipses and even unclosed curves.
“Once you see a problem stated in a simple case, being a mathematician you often try to see how you can generalize it,” Hoffman said.
It’s often of value in math to think up new ways of getting an answer — even to a problem that has been solved before.
Hoffman considered the case in which the leash (of length L) is less than or equal to half the curve’s circumference. First he drew a line tangent to the curve at the point where the bull’s leash is attached. The bull can graze on a semicircle of area πL2/2 bounded by the tangent. Hoffman then devised an exact integral solution for the spaces between the tangent and the curve to determine the total grazing area.
More recently, the Lancaster University mathematician Graham Jameson worked out the three-dimensional case of the interior problem in detail with his son Nicholas, choosing it because it has received less attention. Since goats can’t move easily in three dimensions, the Jamesons called it the “bird problem” in their 2017 paper: If you tether a bird to a point on the inside of a spherical cage, how long should the tether be to confine the bird to half the cage’s volume?
“The three-dimensional problem is actually simpler to solve than the two-dimensional one,” the older Jameson said, and the pair arrived at a precise solution. However, since the mathematical form of the answer — which Jameson characterized as “exact (albeit horrible!)” — would have been daunting to the uninitiated, they also used an approximation technique to provide a numerical answer for the tether length that “bird handlers might prefer.”
Getting His Goat
Nevertheless, an exact solution to the two-dimensional interior problem from 1894 remained elusive — until Ullisch’s paper earlier this year. Ullisch first heard of the goat problem from a relative in 2001, when he was a child. He started working on it in 2017, after earning a doctorate from the University of Münster. He wanted to try a new approach.
It was well known by then that the goat problem could be reduced to a single transcendental equation, which by definition includes trigonometric terms like sine and cosine. That could create a roadblock, as many transcendental equations are intractable; x = cos(x), for example, has no exact solutions.
Ingo Ullisch reached an exact solution for the grazing goat problem by applying a branch of math known as complex analysis.
But Ullisch set up the problem in such a way that he could get a more tractable transcendental equation to work with: sin(β) – β cos(β) − π/2 = 0. And while this equation may also seem unmanageable, he realized he could approach it using complex analysis — a branch of mathematics that applies analytic tools, including those of calculus, to expressions containing complex numbers. Complex analysis has been around for centuries, but as far as Ullisch knows, he was the first to apply this approach to hungry goats.
With this strategy, he was able to transform his transcendental equation into an equivalent expression for the length of rope that would let the goat graze in half the enclosure. In other words, he finally answered the question with a precise mathematical formulation.
Unfortunately, there’s a catch. Ullisch’s solution is not something simple like the square root of 2. It’s a bit more abstruse — the ratio of two so-called contour integral expressions, with numerous trigonometric terms thrown into the mix — and it can’t tell you, in a practical sense, how long to make the goat’s leash. Approximations are still required to get a number that’s useful to anyone in animal husbandry.
But Ullisch still sees value in having an exact solution, even if it’s not neat and simple. “If we only use numerical values (or approximations), we will never get to know the intrinsic nature of the solution,” he said. “Having a formula can give us further insight into how the solution is composed.”
Not Giving Up the Goat
Ullisch has set aside the grazing goat for now, as he’s not sure how to go further with it, but other mathematicians are pursuing their own ideas. Harrison, for instance, has an upcoming paper in Mathematics Magazine in which he exploits properties of the sphere to attack a three-dimensional generalization of the grazing-goat problem.
“It’s often of value in math to think up new ways of getting an answer — even to a problem that has been solved before,” Meyerson noted, “because maybe it can be generalized for use in other ways.”
And that’s why so much mathematical ink has been devoted to imaginary farm animals. “My instincts say that no breakthrough mathematics will come from work on the grazing-goat problem,” Harrison said, “but you never know. New math can come from anywhere.”
Hoffman is more optimistic. The transcendental equation Ullisch came up with is related to the transcendental equations Hoffman investigated in a 2017 paper. Hoffman’s interest in those equations was sparked, in turn, by a 1953 paper that stimulated further work by presenting established methods in a new light. He sees possible parallels in the way Ullisch applied known approaches in complex analysis to transcendental equations, this time in a novel setting involving goats.
“Not all progress in mathematics comes from people making fundamental breakthroughs,” Hoffman said. “Sometimes it consists of looking at classical approaches and finding a new angle — a new way of putting the pieces together that might eventually lead to new results.”