You are currently browsing the tag archive for the ‘math’ tag.

My blog doesn’t really have a theme; it’s just a random collection of things that are going on in my life that I want to share. I keep the topics pretty broad so more people will be inclined to read. As a result, the math posts tend to be low. I don’t want my blog to be a “math blog” (you can find a list of such blogs here, or just google “math blogs”). It should be noted that online collaborative mathematics has become quite popular recently. Sites like Math Overflow and Terence Tao’s blog are great examples.

Having said that, I’ve decided that my next few posts will be more math related; in particular, I’ll be posting a couple of algebra theorems each week for the next few weeks. Here’s why. The algebra qualifying exam is in about a month and I’ve been studying really hard for it. I know that some of the other TA’s are studying really hard for it too; and since some of them occasionally glance at my blog (I know, I can’t believe it either), I think it’s worth while to share some of the key algebra theorems.

For the mathematically inclined, please feel free to comment and critique any of the results you see posted. A lot of the proofs are my own, which means there might (will) be errors. Enjoy.

I compiled this post from sources I found online, along with some of my own thoughts. Being the poor grad student that I am, I failed to site my sources; so I can’t take full credit for writing this.

**Why study mathematics?**

Mathematics is more than just the science of numbers taught by teachers in schools and either enjoyed or feared by many students. It plays a significant role in the lives of individuals and the world of society as a whole. Mathematics is an essential discipline recognized worldwide, and it needs to be augmented in education to equip students with skills necessary for achieving higher education, career aspirations, and for attaining personal fulfillment. Its significance to education is not limited to the following aspects.

Enhances problem solving and analysis skills. Mathematics enhances our logical, functional and aesthetic skills. Problems enable us to apply our skills to both familiar and unfamiliar situations, thereby giving us the ability to use tested theory and also create our own before applying them. By developing problem solving strategies, we learn to understand problems, devise plans, carry out plans, analyze and review the accuracy of our solutions. The methods involved in problem solving develop use of reasoning, careful and reasonable argument, and decision making.

Applied in daily life. Mathematics is not a mere subject that prepares students for higher academic at- tainment or job qualification in the future. It is not all about practicing calculations in algebra, statistics and algorithms that, after all, computers are capable of doing. It is more about how it compels the human brain to formulate problems, theories and methods of solutions. It prepares us to face a variety of simple to multifaceted challenges every human being encounters on a daily basis. Irrespective of your status in life and however basic your skills are, you apply mathematics. Daily activities including the mundane things you do are reliant on how to count, add or multiply. You encounter numbers every day in memorizing phone numbers, buying groceries, cooking food, balancing a budget, paying bills, estimating gasoline consumption, measuring distance and managing your time. In the fields of business and economy, including the diverse industries existing around you, basic to complex math applications are crucial.

Base for all technologies. Anywhere in the world, mathematics is employed as a key instrument in a diversity of fields such as medicine, engineering, natural science, social science, physical science, tech science, business and commerce, etc. Application of mathematical knowledge in every field of study and industry produces new discoveries and advancement of new disciplines. All innovations introduced worldwide, every product of technology that man gets pleasure from is a byproduct of Science and Math. The ease and convenience people enjoy today from the discoveries of computers, automobiles, aircraft, household and personal gadgets would never have happened if it were not for this essential tool used in technology.

Career aspirations. Every branch of Mathematics has distinct applications in different types of careers. The skills enhanced from practicing math such as analyzing patterns, logical thinking, problem solving and the ability to see relationships can help you prepare for your chosen career and enable you to compete for interesting and high-paying jobs against people around the globe. Even if you do not take up math-intensive courses, you have the edge to compete against other job applicants if you have a strong mathematical background, as industries are constantly evolving together with fast-paced technology.

Since mathematics encompasses all aspects of human life, it is unquestionably important in education to help students and all people from all walks of life perform daily tasks efficiently and become productive, well-informed, functional, independent individuals and members of a society where Math is a fundamental component.

This is a classic result in differential geometry and is worth mentioning in these posts on minimal surfaces. Before we can talk about the deformation we need a definition.

**Definition.** A minimal surface described by the Weierstrass-Enneper data or has an *associated family* of minimal surfaces given by, respectively, or

The catenoid has Weierstrass-Enneper representation . Thus, the associated family of surfaces of the catenoid has Weierstrass-Enneper representation , which corresponds to the following standard parametrization.

, for any fixed , where

**A very beautiful result in minimal surface theory.** *The catenoid can be continuously deformed into the helicoid by the transformation given above, where represents the catenoid and represents the helicoid. It should be pointed out that the parametrization above represents a minimal surface for any value of That is, any surface in the associated family of a minimal surface is also minimal.*

The surfaces below, plotted for different values of , represent the associated family of minimal surfaces of the catenoid.

I’ve spent a few posts talking about the theory behind minimal surfaces. So what? Lets actually look at some.

Prior to the 18th century the only known minimal surface was the plane. This changed when Jean Baptiste Meusnier discovered the first non-planar minimal surfaces, the catenoid and the helicoid.

The catenoid may be parametrized as . This is a surface of revolution generated by rotating the catenary about the -axis. It is easily checked that the mean curvature of is zero. Thus, the catenoid is a minimal surface. It can be characterized as the only surface of revolution which is minimal. That is, if a surface of revolution is a minimal surface then is contained in either a plane or a catenoid.

The helicoid may be parametrized as . It is easily checked that the mean curvature of is zero. Thus, the helicoid is a minimal surface. It can be characterized as the only minimal surface, other than the plane, which is also a ruled surface. That is, any ruled minimal surface in is part of a plane or a helicoid.

Placing geometric restrictions on surfaces is a common theme in classification in the study of minimal surfaces. For example, assuming a surface has a parametrization of the form , one can explicitly solve the resulting differential equation to find the minimal surface solution , which locally parametrizes Scherk’s minimal surface (discovered by Heinrich Ferdinand Scherk in 1835). Note that although this surface can be realized locally as a graph, its domain of definition is not the entire plane as it must be represented on patches of the form and –.

This problem was asked in a job interview for a software engineering position at Google.

There is a staircase with 100 steps. How many ways can you walk from the bottom to the top of the staircase if you are only allowed to take one step and two steps at a time?

As the rainy season is upon us, you may be asking yourself this question. Let’s try to analyze this problem mathematically. Note, this was taken from an article I found here, I have merely reproduced and simplified it a bit for your reading pleasure.

The formal solution looks something like this

Which looks a bit menacing. Here, is the rate you’re getting wet (mass of rain per time incident on your body), is the density of the rain shower (mass of water in unit volume of atmosphere), is the velocity of the rain relative to you, and represents a little bit of your body surface.

The relative velocity of the rain depends on the rain’s velocity, and your own velocity. This is where we can introduce the possibility of someone running around in the rain. The relative rain velocity, is equal to the true velocity of the rain minus the velocity of your body. We can now put these in the above equation and write

where is the velocity of the person and is the velocity of the rain. (They’re not the wrong way around, because we dropped the minus sign in front of the integral.)

**SO WHAT?**

Precisely! The problem with a solution like this, is that although it is designed to be exactly correct, it is far too complicated to be of much use – because it can’t easily be calculated.

For a start, the shape of a human body is too complex, and all parts of it are in different states of motion when running. To get some answers the formal solution must be simplified by making some assumptions and approximations. Physicists do this all the time – it is called “cheating”.

**AN APPROXIMATE SOLUTION**

This is where the fun starts. To get some idea of how running around in the rain affects wetness, we’ll need to make some fairly significant simplifications.

We will assume that the rain is falling vertically and also that the person is running horizontally. To get around the problem of our complex body shape, we’ll imagine our person as a rectangular block – like a house brick standing on end. The smaller top surface of this “brick” is of area a and represents all our own top surfaces (head and shoulders.) The larger front surface of this brick is of area A and represents our front surfaces (chest, stomach, front of arms, front of legs etc.) This approximation won’t give us the complete truth – but it might provide some insight into what is going on.

This enables us to produce our first “total wetness” equation. It can be derived from the formal solution above, or worked out by other reasoning. Anyway, here it goes.

**THE (SIMPLIFIED) TOTAL WETNESS EQUATION**

Here is the “total wetness” (the total mass of rainwater on your body), is the rain shower density as before, is our top surface area, is our front surface area is the rain velocity, is the person’s velocity, and is the time spent out in the rain.

Looking at the equation, it’s clear that there is little we can do about the rain velocity, rain density and the size of our bodies (except by dieting). The only quantities we can directly control in the total wetness equation are (the time spent in the rain) and (how fast we’re running).

The equation tells us quite clearly that we get most wet if we: 1. stay out in the rain for a long time (no surprise there) 2. run very fast.

So running fast actually makes us wetter according to this analysis – the reason being that you are moving your front surface through the “rain field”, scooping up water as you go.

By the way, should you ever want to get really wet, the equation suggests you should stay out in the rain for a long time whilst running around like a maniac.

There’s more to it than this though. Although running fast looks like a bad idea, what if we are running towards shelter – surely by running we will minimise the time spent in the rain? This is a fair point, and makes the first equation look incorrect – but in fact it is fine.

This is because the equation “knows” nothing about the possibility of shelter. It simply tells us that if you’re in the rain, the best thing to do is stand still. However, we can introduce the idea of shelter into it to get some further advice.

Let’s assume that when it starts to rain, you identify the nearest shelter and run towards it. If the distance to the shelter is , then the time spent in the rain ( in the above equation) will be

If we insert this into the “total wetness” equation to replace , we get the “modified simplified total wetness equation” which now includes the distance to the shelter

So here we have it – more mathematical advice to avoid getting wet. Because we divide by in this equation, maximising our velocity now emerges as a good idea, assuming there is a shelter available.

**SO SHOULD I RUN IN THE RAIN OR NOT?**

When it starts to rain, first identify the nearest shelter, and then run to it as quickly as you can.

This is remarkable, because that is precisely what most people do! The power of mathematics has finally given us the reassurance that, when we run for that bus shelter, store canopy or random shop (and start pretending to browse), we are getting it exactly right!

However, the equation shows that you get wet no matter how fast you run, with a minimum value of

PS: If the rain is falling at an angle it is possible to decrease your total wetness by running in the correct direction. Unfortunately this may not coincide with the nearest shelter direction.

PPS: Alternatively, ignore the math and get an umbrella.

I couldn’t put it any better. This is what I love about math education and why it is so important. You can check out his blog here.

As a part of my measure theory class each student must lecture on a certain topic. Today I lectured on the Jordan decomposition and the Radon-Nikodym Theorem. Lecturing to freshman precalculus students is one thing, lecturing to your peers and professor about measure theory is another. You encourage precalc students to ask questions and be engaged with the lecture. As the teacher you try to make the lecture more of a discussion. This is something you can do because you know and understand the material. However, this can be difficult when you don’t fully understand the subject (like measure theory). The other TA’s and I like to joke about our measure theory lectures, fake it ’til you make it. We might not have a mastery understanding of the material (yet), but we have the fundamentals. From there it’s all about looking and feeling confident when delivering your lecture.* *

For those who are interested, these are my notes on the lecture I gave today.* The Elements of Integration and Lebesgue Measure* by Robert Bartle is the reference for specific theorems, corollaries, and lemmas.

**Definition.** Let be a charge on and let be a Hahn decomposition for The *positive* and the *negative variations* of are the finite measures , defined for in by , The *total variation* of is the measure defined for in by

Note, by lemma 8.3, and are well defined and do not depend on the Hahn decomposition.

**Theorem 8.5 Jordan Decomposition Theorem.** If is a charge on then for all in Moreover, if where and are finite measures on then and for all in

*Proof.* We prove the first assertion. Let and let be a Hahn decomposition of Then and We have,

We prove the second assertion. Since and have nonnegative values,

Similarly,

**Theorem 8.6.** If is integrable, , and is defined by then

*Proof. *Let and . Then and . Let . Then

Thus, is a Hahn decomposition of with respect to . Now, by the definition of variation we have that

and the theorem is established.

**Definition. **A measure on is said to be *absolutely continuous *with respect to a measure on if and imply that . In this case we write . A charge is* absolutely continuous* with respect to a charge provided that the total variation of is absolutely continuous with respect to .

**Example. **Let and . Recall, is a measure by corollary 4.9. If for some then –almost everywhere. Thus,

which shows that is absolutely continuous with respect to .

**Example.** Let be Lebesgue measure and the counting measure on . Then if and only if . Hence, implies that , which shows that . However, if , the singleton set, then but . Thus, is not absolutley continuous with respect to .

Absolute continuity can also be characterized as follows.

**Lemma 8.8.** Let and be finite measures on . Then if and only if for every there exists a such that and imply that .

*Proof.* If for any then this is necessary and sufficient for . Conversely, suppose that there exists and sets with and . Let so that and . Since is a decreasing sequence of measurable sets, we have that

Hence, does not imply that .

Recall, corollary 4.9 states that if then is a measure. Conversely, when can we express a measure as an integral with respect to of some function ?

Corollary 4.11 showed that a necessary condition for this to hold is that . It turns out that this condition is also sufficient when and are -finite. We state this result as a theorem.

**Theorem 8.9 Radon-Nikodym Theorem. **Let amd be -finite measures on with . Then there exists such that for . Moreover, the function is uniquley determined -almost everywhere.

Let be a regular parametrized surface and let denote the corresponding complex coordinate. Since and , we may write

We define the complex function as follows,

**Theorem.** Let be a surface with patch and let . Then is isothermal if, and only if, .

*Proof. *Suppose that is isothermal. Note that . Therefore,

Conversely, suppose that . Then and by properties of complex numbers this equations only holds if and which shows that is isothermal.

**Theorem.** Suppose that is a surface with patch . Let and suppose that (i.e. is isothermal). Then is minimal if, and only if, each is analytic.

*Proof.* Suppose that is minimal, then is harmonic; that is, . Thus, . Therefore, each is analytic. Conversely, the same calculation shows that if each is analytic, then each is harmonic, therefore, is minimal.

**Corollary. **.

*Proof.* Since , we may write . Then

We then have that and we can now integrate to get .

The problem of constructing minimal surfaces reduces to finding a tripple of analytic functions with . A nice we of constructing such a is to take an analytic function and a meromorphic function with analytic. Now, if we let and then we have,

Note that is analytic, is meromorphic, and is analytic since . Furthermore, it is easily verified that . Therefore, determines a minimal surface.

**Theorem.** (Weierstrass-Enneper Representation I) If is analytic on a domain is meromorphic on , and is analytic on then a minimal surface is defined by , where

Suppose that is analytic and has an inverse in a domain which is analytic as well. Then we can consider as a new complex variable with . Define and obtain . Therefore, if we replace by and by we get the following.

**Theorem. **(Weierstrass-Enneper Representation II) For any analytic function , a minimal surface is defined by , where

Note the corresponding

This representaion tells us that any analytic function defines a minimal surface.

We can now use the Weierstrass-Enneper representation to produce minimal surfaces. For example, if then we obtain a parametrization for Enneper’s surface. In fact, if then an nth order Enneper’s surface is obtained.

The Weierstrass-Enneper representation leads to infinite families of minimal surfaces and has proved fundamental in relating the study of minimal surfaces to the theory of complex analysis.

I have decided to post all of my notes on minimal surfaces. These notes are essentially a summary of how I spent my summer. Each post will build on the previous and there will be four in total. 1 area functional, 2 harmonic function and isothermal coordinates, 3 Weierstrass-Enneper representation, 4 examples.

**Definition. **Let be a real valued function of two real variables and defined on a domain . The partial differential equation

is known as *Laplace’s equation*. If , , , , , , and are all continuous and if satisfies Laplace’s equation then is *harmonic* on .

An interesting relationship between minimal surfaces and harmonic functions comes about when the surface is parametrized by isothermal coordinates

**Definition.** A parameterization is called *isothermal* if and

**Theorem.** Isothermal coordinates exist on any surface .

*Proof. A Survey of Minimal Surfaces *[Osserman].

When isothermal parameters are used, there is a close relationship between the Laplace operator and mean curvature. We have the following formulas for an orthogonal coordinate system

**Theorem.** If the patch is isothermal then .

*Proof.* Since and , we have

By examining the formula for mean curvature when and , we see that

Therefore, .

**Corollary.** A surface with isothermal coordinates is minimal if, and only if, , , and are harmonic functions.

*Proof.* If is minimal then and, by the previous theorem, On the other hand, suppose that , , and are harmonic functions. Then is harmonic so and, by the previous theorem, . Therefore, since is the unit normal and , then and is minimal.