Here is a list of vector calculus identities; in the proof of these identities, we all assume that these functions are $đ¶^đ$ in an open set, and we usually use these identities to calculate integrals, however, sometimes the function may has singularities in the domain of integration (for example $\frac{1}{r}$ has 0 as a singularity), and the div of such a function contains a Dirac delta function (e.g. $\mathop{\mathrm{div}}\left(\frac{đ}{đ^3}\right)=4\pi đż(đ„)$ ), and in this case we must regard the div of this function as a distribution (a linear functional on the vector space of all smooth realvalued functions with compact support). My question is the following: do the identities of vector calculus still hold? And if so, what is the meaning of curl, div in this case, do they mean distribution?

$\begingroup$ Did you mean $\operatorname{div} \left(\frac r{r^3}\right)$ or something? $\endgroup$– AnixxCommented May 6, 2021 at 8:35

$\begingroup$ yes, I want to generalize identities and theorems in vector analysis to distributions, could you recommend some detailed textbooks about it, thank you very much $\endgroup$– YuerWuCommented May 6, 2021 at 8:36

1$\begingroup$ My comment was about the style of your question, I mean, you can use Latex. $\endgroup$– AnixxCommented May 6, 2021 at 8:37

1$\begingroup$ So long as the identity is linear, Dirk's answer is relevant. But the list contains also nonlinear identities, which generalize the classical $(fg)'=fg'+f'g$. These my not make sense for distribution~; think for instance to the case where both $f$ and $g$ are only $L^2$functions. $\endgroup$– Denis SerreCommented May 7, 2021 at 6:09
2 Answers
This may be borderline for this site, but here goes: What you are looking for may be the notion of weak derivative. A function $f$ defined on some $d$dimensional set $\Omega$ has a weak partial derivative with respect to the $i$th coordinate if there exists a function $g_i$ such that for all smooth functions $\phi$ with compact support in $\Omega$ it holds that $$ \int_\Omega f(x)\partial_i \phi(x) dx = \int_\Omega g_i(x)\phi(x)dx. $$ This looks very much like the distributional derivative and in fact one can say that $f$ has weak partial derivatives if the respective distributional derivatives can be identified with locally integrable functions.
Similarly, you can define other differential operators: A locally integrable (vectorvalued) function $\vec g$ is a weak gradient of $f$ if for all vector valued smooth functions $\vec \phi$ with compact support it holds that $$ \int_\Omega f(x)\operatorname{div}\vec\phi(x) dx = \int_\Omega \vec g(x)\cdot\vec\phi(x)dx $$ and so on.
However, this is still not satisfying, since you need a certain notion of integral over the boundary of merely integrable functions. The theory you are looking for is the theory of Sobolev spaces and their traces. For the boundary integrals you may even want to consider integrals with respect to the Hausdorff measure. One reference is the book "Geometric integration theory" by Krantz and Parks.

3$\begingroup$ Yes, I think this answer is a good, balanced response to the question. :) $\endgroup$ Commented May 6, 2021 at 19:55
This is an addition to Dirk's answer. It is of course impossible to give an allembracing answer to your questionâthere are so many identities. But the general answer is a resounding YES. The proofs are usually very simple, using a density argumentâdistributions can be approximated by smooth functions in their natural topologies so one can take limits of the classical versions for smooth functions. By the way this means that one can avoid some of the complications involved in using minimal smoothness assumptions.
There are, of course, some caveats (already hinted at above).
If products are involved there can be difficulties. However, all is not lostâavoid the common fallacy that the fact that one cannot always multiply distributions means that one can NEVER multiply them. Usually one can! There are many situations where one can a rigorous and elementary definitionâfor starters the product of a smooth scalar function and distributional vector field (or vice versa) is welldefined and the usual rules (product formula, etc.) hold.
The question of integration (e.g., in the Stokes theorem). Distributions, say on the line, always have primitives but not necessarily definite integrals. Again this doesnât mean that they NEVER haveâagain they âusually do in practiceâ and have the sort of properties you would expect from the classical case. These concepts were developed decades ago using elementary methods (no functional analysis or duality theory for locally convex spaces. Not that I have anything against the latterâthey just donât usually occur in the toolbox of many mathematicians who want to use distributions).
I could go on and on about this but I will give two further remarks: Evaluation at points: it is not true that every distribution has a value at every point but again this does NOT mean that one can NEVER evaluate a distribution at a point. Again this concept was investigated in detail (in the 50âs and 60âs of the last century) using elementary methods and most distributions of practical relevance can be evaluated at most points. Composition with functions. Again symbols like $T\circ f$, i.e., the substitution of a function in a distribution, are not always welldefined. However, there are general situations where it can be rigorously defined and then it has the familiar properties.
The theory of distributions was developed by Sobolev and Schwartz, the latter using the language and techniques of duality for locally convex spaces. A number of mathematicians were then motivated to develop the theory from a more direct and elementary standpoint (i.e., at the level of an advanced calculus, or in germanophone countries âAnalysisâ, course). However, most texts use the Schwartz approach and the latter seems to have slipped into oblivion.
All these approaches are on record and easily available online (some names: Mikusinski, Heinz KĂ¶nig, SebastiĂŁo e Silva, Sikorski). I would be happy to supply more details.

1$\begingroup$ In physics, using a direct calculus of distributions is the prevalent method ... $\endgroup$ Commented May 7, 2021 at 14:11

$\begingroup$ Sorry, I thought this was a mathematics siteâmy mistake! $\endgroup$ Commented May 7, 2021 at 16:00

3$\begingroup$ It is a mathematics site  my comment wasn't meant as a criticism, I just meant to add that there are fields of applications in which calculi of distributions are alive and well. $\endgroup$ Commented May 7, 2021 at 16:13

$\begingroup$ One book that introduces distributions mainly without mentioning locally convex spaces is Strichartz' "Guide to Distribution Theory and Fourier Transforms" (it does not even contain the phrase "seminorm"!). $\endgroup$– DirkCommented May 8, 2021 at 8:14

$\begingroup$ The problem is not the question of using lcsâs but of using duality, i.e., defining distributions as functionals (generalised measures) rather than as generalised functionsâand anyway Strichartzâ book came long after the approaches I am talking about (my edition is dated 1994, the stuff I am talking about dates from the 50âs). But that, of course, is just my modest personal opinion $\endgroup$ Commented May 11, 2021 at 14:44