The indicated integration by substitution gives
Pointwise, the argument of tends to . Since the Gaussian integral is , the expected limit is . To justify it for unbounded data, use the approximate identity property rather than assuming a uniform bound on .
In the original variable, normalization gives
For , continuity makes the difference smaller than any prescribed if is small enough, and the kernel mass is at most one. On the complement the Gaussian mass tends to zero; the data-weighted tail tends to zero by heat-kernel convergence for Gaussian-integrable initial data. This proves
For heat-kernel convergence from a conditionally convergent Gaussian integral, the same tail conclusion follows using the bounded primitive of . The factor has its maximum at , approaching . For sufficiently small , it is monotone on each of the two tails outside , and its values at the tail endpoints tend to zero exponentially. Integration by parts bounds each tail by a constant times its endpoint value, proving the same limit without an absolute-convergence assumption. The approach is from positive time.
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.
For ,
In particular its absolute value is bounded by , proving convergence when ; the apparent endpoint singularity at one is removable, with value . On any compact parameter interval with lower bound , the differentiated integrand is , dominated by . The dominated convergence theorem therefore justifies differentiation under the integral sign:
Hence . Since the integrand is identically zero at , fixes . Thus
This proves the logarithmic integral representation of the natural logarithm, including its parameter range.
The Leibniz integral rule accounts for both the moving upper endpoint and the integrand's dependence on :
For the specified integrand this gives . When , integration by parts gives
so
For the requested independent check, direct integration gives at . Its derivative is , agreeing with the result above. At zero the apparent singularity is removable: , so .
Let denote a green pear on the first draw and a red apple on the second. The two categories are disjoint, so after there are still three red apples among seventeen remaining fruits. Thus . Using from (c), conditional probability gives
Equivalently, conditioning on the second fruit being one particular category removes a red apple and leaves the other seventeen fruits symmetrically eligible for the first position.
Condition on whether the first selection was a red apple. Its probability is . If it was, two red apples remain among seventeen fruits; otherwise three remain. The law of total probability gives
The same result follows from exchangeability: before either selection is observed, each ordered draw position has the original red-apple fraction , despite dependence between the draws.
Insert the values from (a) into Bayes' theorem:
Thus the identity is satisfied. Equivalently, both and equal the joint probability .
There are eighteen equally likely first choices. Counting the relevant subsets gives
For conditional probabilities, restrict the denominator to the conditioning subset:
The five counts come from the same finite sample space, so no independence assumption is involved.
Factor . This gives
The last function is even. Its Taylor series begins , since and . Therefore
In particular, the cubic coefficient is zero; the identity explains its cancellation before any lengthy differentiation.
The required derivatives are , , , and . The four-term Taylor polynomial about one, evaluated at two, is
The Taylor remainder is for some . Thus
Its negative sign also shows that this approximation is an overestimate. Bounding the fourth derivative throughout the interval establishes the requested error estimate without using a decimal value of .
A cubic version of Taylor's theorem requires the corresponding higher differentiability, rather than only one derivative. For example, if has four continuous derivatives on the interval between and , then
where the Lagrange form of the Taylor remainder is
for some strictly between and when they differ. At , the remainder is zero. These hypotheses apply to both functions used below.
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 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.
The multivariable chain rule gives
Substituting the three parametrizing functions also writes the complete derivative as
At , the point is , its velocity is , and . Hence
The condition at infinity gives . Matching the electric potential at gives
Consequently
This function is finite and differentiable at the origin. At the joining radius, both and match, giving and . Thus the electric field is continuous there as well as being conservative on each side. This is the potential of a uniform spherical source, with source coefficient .
Figure 1.
Continuous radial potential and inward electric field, normalized at the sphere boundary
. Details.
For a radial electric potential, . Comparing radial coefficients gives
Integrating these one-variable derivatives gives the general local expressions
The two constants are initially independent because these integrations were performed in separate radial regions.
Inside the sphere, the electric field has the form , including at the origin. Thus it is a conservative vector field. Outside, use the gradient of a radial function to obtain
This is also an explicit potential of a conservative vector field, single-valued throughout the exterior region. Equivalently, the curl vanishes in both regions: for a radial coefficient , because is radial. The interior formula avoids any apparent issue at the origin. The vector-field potentials here have the opposite sign from the electric potential convention used in (b).

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact