For constant , the curl of a cross product identity reduces to
Commuting mixed second partial derivatives gives . Hence the requested sum equals , which is zero because is harmonic. The argument assumes the indicated second derivatives are continuous on the domain.
From the preceding gradient, . Summing the three Cartesian second partial derivatives gives
Thus the reciprocal radius is harmonic away from the origin. Its negative gradient is
The curl vanishes because is a gradient field and mixed second derivatives commute. The exclusion of the origin is essential: the potential and field are singular there.
If with continuous second partial derivatives of , then , . The symmetry of second derivatives requires
This is a necessary condition for an exact differential. With continuously differentiable coefficients it is also locally sufficient, and is globally sufficient on a simply connected open domain; a domain with holes can require additional global information.
The partial derivatives are and . At they have values and . The first-order Multivariate Taylor polynomial therefore gives the change
Thus the requested linear approximation is ; it is the change from , not the new function value itself.
The first partial derivatives factor as
Both vanish at the origin, verifying that it is a stationary point. Since , every stationary point has ; the first equation then gives . Thus one requested additional point is ; the other is .
If the form is for a scalar function with continuous second partial derivatives, then and . Equality of the mixed partial derivatives therefore requires
This is necessary for an exact differential. For continuously differentiable coefficients on a simply connected open domain it is also sufficient; on a domain with holes, the equality alone need not give a single-valued global potential.
The curl of a gradient vanishes because the mixed second partial derivatives of the smooth function agree. Therefore everywhere, and
Unlike part (i), this integrand does not involve the problematic auxiliary field.
Let and . Their cross partial derivatives agree: . More directly, construct the scalar function
This exhibits the expression as an exact differential. Along a solution of the differential equation,
Thus the general solution is
For , the graph also extends smoothly through and satisfies the original, undivided equation there. Nonzero cannot extend through zero as a finite-valued differentiable solution. The extra vertical component of the implicit zero-level equation is not a graph on an interval and is not an additional solution of this ordinary differential equation.
The product rule gives the two partial derivatives
They both vanish at the origin. The exponential function is never zero, so any further stationary point must satisfy or , and or . Having both coordinates nonzero would require both opposite differences to be , which is impossible. If , the nonzero choices are ; if , they are . Hence the full list is
Apply the fundamental theorem of calculus separately to the upper and lower limits. No evaluation of the integral is needed:
The first result has no dependence and the second no dependence, so the mixed partial derivative is
Write the differential one-form as . An exact differential form must satisfy equality of mixed partial derivatives, . Here
Equality at every holds precisely when . Since these polynomials are smooth on the simply connected plane, the closed-form condition is also sufficient for exactness; the explicit potential of a conservative vector field constructed in (c) verifies that sufficiency directly.
With , integrate the coefficient with respect to :
Its other partial derivative is . Matching the coefficient gives . Therefore the differential equation is , and its implicit general solution is
These are level curves of the potential of a conservative vector field. Where , they give the usual graph solution . At , the implicit description retains possible vertical tangents instead of dividing by zero.
Write the kernel as , with . Its partial derivatives are
Thus the heat kernel itself satisfies . The proposed convolution consequently gives
This verifies the heat equation. The parameter is positive time; the real integral formula is not defined at negative time.
The passage of derivatives through the integral needs justification. A sufficient condition is the Gaussian-weighted absolute integrability in heat-kernel convergence for Gaussian-integrable initial data; it holds, in particular, for data of polynomial growth. On compact positive-time intervals strictly below an integrable later time, the differentiated kernels have an integrable Gaussian bound, so differentiation under the integral sign applies.
Even if the PDF's assumed convergence is read as ordinary conditional convergence, one can justify the same calculation. Choose a later time and let be a primitive of . Convergence at spatial point zero and time makes bounded on both tails. Put . This function, its spatial and time derivatives, and their -derivatives decay as Gaussians when . Integration by parts rewrites the convolution as , with vanishing endpoint terms. Boundedness of now permits differentiation under this absolutely convergent integral; since , the same equation follows. Thus one need not silently equate conditional and absolute convergence.
Assume the components of have continuous second partial derivatives. Expanding the divergence of its curl gives
Each positive term cancels a negative term because the corresponding mixed derivatives commute. Consequently
First take , then differentiate with respect to . The product rule and chain rule give
The function is smooth, so the two mixed partial derivatives agree.
The partial derivatives give and . If either coordinate is zero, both vanish. Otherwise substitution gives , so the real stationary points are , and .
The Hessian matrix is
At the origin its eigenvalues are and , so it is a saddle at level zero. At either of the other points its eigenvalues are and , so both are strict minima at level . In fact,
with equality only at those two points. Hence
For levels , two separate closed contours surround the two minima. At the contours form two lobes, in the first and third quadrants, meeting at the origin. Their limiting tangent directions there are the coordinate axes because the leading term is . On the diagonal the outer zero-level points are . Positive levels form one closed outer contour enclosing both wells; there are no contours below . The graph is symmetric under exchanging and under reversing both signs, but not under a quarter-turn. These features are the case of the quartic double well with bilinear coupling.
Figure 1.
The quartic function's two minima, saddle, and transition from two contour loops to one
. Details.
Take the Cartesian partial derivatives component by component. The divergence is
The constant third component has zero derivatives. The curl consequently has only two nonzero components:
Stationarity requires both first partial derivatives to vanish:
For example, choosing and gives two points strictly inside the prescribed rectangle:
Both satisfy the two derivative equations directly.