Problem 32 - Thomas Calculus

Question

Harmonic functions A function \(f(x, y, z)\) is said to be harmonic in a region \(D\) in space if it satisfies the Laplace equation $$\nabla^{2} f=\nabla \cdot \nabla f=\frac{\partial^{2} f}{\partial x^{2}}+\frac{\partial^{2} f}{\partial y^{2}}+\frac{\partial^{2} f}{\partial z^{2}}=0$$ throughout \(D\) a. Suppose that \(f\) is harmonic throughout a bounded region \(D\) enclosed by a smooth surface \(S\) and that \(n\) is the chosen unit normal vector on \(S .\) Show that the integral over \(S\) of \(\nabla f \cdot \mathbf{n},\) the derivative of \(f\) in the direction of \(\mathbf{n},\) is zero. b. Show that if \(f\) is harmonic on \(D,\) then $$\iint_{S} f \nabla f \cdot \mathbf{n} d \sigma=\iiint_{D}|\nabla f|^{2} d V$$

Step-by-Step Solution

Answer

a. The integral over \(S\) of \(\nabla f \cdot \mathbf{n}\) is zero. b. \(\iint_{S} f \nabla f \cdot \mathbf{n} d \sigma = \iiint_{D}|\nabla f|^{2} d V\).

Step 1: Understanding Harmonic Function

A harmonic function is a scalar function \(f(x, y, z)\) that satisfies the Laplace equation \(abla^2 f = 0\) in a region \(D\). This means that the sum of the second partial derivatives of \(f\) with respect to \(x\), \(y\), and \(z\) is zero throughout \(D\).

Step 2: Verifying Part 'a' Using Green's Theorem

Apply the Divergence Theorem (or Green's Theorem) to the vector field \(abla f\). If \(f\) is harmonic, then \(abla^2 f = 0\). Therefore, the flux of \(abla f\) across the surface \(S\) of region \(D\) is \(\iint_S abla f \cdot \mathbf{n} \, d\sigma = \iiint_D abla^2 f \, dV = 0\). Hence, the integral over \(S\) of \(abla f \cdot \mathbf{n}\), which is the directional derivative along the normal vector \(\mathbf{n}\), is zero.

Step 3: Addressing Part 'b' Using Integration by Parts

Consider the identity \(abla \cdot (f abla f) = f abla^2 f + abla f \cdot abla f\). Since \(f\) is harmonic, \(abla^2 f = 0\). Hence, \(abla \cdot (f abla f) = |abla f|^2\). Applying the Divergence Theorem gives \(\iint_S f abla f \cdot \mathbf{n} \, d\sigma = \iiint_D |abla f|^2 \, dV\), confirming the required result.

Key Concepts

Laplace equation

The Laplace equation is a pivotal concept in the study of potential fields. It is an equation composed of second partial derivatives of a scalar function. When a function \( f(x, y, z) \) satisfies the Laplace equation, it fulfills the requirement \( abla^{2} f = 0 \). This essentially means the sum of the second derivatives with respect to each spatial dimension—\( x \), \( y \), and \( z \)—is zero.

• The Laplace equation is often used in physics to describe scenarios where a quantity, such as electromagnetic potential, is in balance throughout a space.
• Solving the Laplace equation can give insight into the behavior of harmonic functions, which are important in areas such as fluid dynamics and electrical engineering.

The nature of this equation suggests that no local maxima or minima exist within the domain of the function because it is in a constant state of "flatness", making it crucial for describing equilibrium states.

Divergence Theorem

The Divergence Theorem, also known as Green’s Theorem in two dimensions, is a fundamental result in vector calculus. It offers a bridge between the flow (or flux) over a closed surface \( S \) and the behavior of a vector field within the volume \( D \) enclosed by \( S \). This theorem can be stated as follows: for any smooth vector field \( \mathbf{F} \), the surface integral of \( \mathbf{F} \) over the boundary surface \( S \) is equal to the volume integral of the divergence of \( \mathbf{F} \) throughout \( D \).
This means:

• \( \iint_{S} \mathbf{F} \cdot \mathbf{n} \, d\sigma = \iiint_{D} abla \cdot \mathbf{F} \, dV \).
• For harmonic functions, it simplifies the calculation of flux across surfaces by relating it to the change within a volume.

The Divergence Theorem is crucial for proving various integral theorems related to harmonic functions, making it an indispensable tool in calculus.

partial derivatives

Partial derivatives are integral in defining and solving the Laplace equation. They measure how a function changes as only one of its variables is altered, keeping the others constant. For a function \( f(x, y, z) \):

• \( \frac{\partial f}{\partial x} \), \( \frac{\partial f}{\partial y} \), and \( \frac{\partial f}{\partial z} \) denote the partial derivatives of \( f \) with respect to \( x \), \( y \), and \( z \) respectively.
• Second partial derivatives, like \( \frac{\partial^{2} f}{\partial x^{2}} \), show how these rates of change themselves change.

In the context of Laplace's equation, these second partial derivatives must sum to zero across the region. This characteristic ensures that any small disturbance within the field dissipates, maintaining the harmonic property. Mastering partial derivatives is essential for solving complex equations in physics and engineering.

scalar function

A scalar function assigns a single value, a scalar, to every point in space. For instance, the temperature at each point in a room can be described by a scalar function. It is essential for describing fields that do not have directionality inherently tied to them.

• Harmonic functions are scalar functions that satisfy the Laplace equation.
• These functions often appear in potential theory, describing phenomena like gravitational and electrostatic potentials.
• Unlike vector functions, scalar functions provide a clearer representation of magnitude without needing direction.

Understanding scalar functions is crucial for grasping how multi-variable functions operate in a multidimensional space, particularly in relation to the Laplace equation.