Graduate Why don't we multiply generalized functions?

Click For Summary
Multiplying generalized functions leads to contradictions, as demonstrated by examples involving the Dirac delta function and other distributions. While it is valid to multiply generalized functions from the space of distributions with smooth functions, attempting to multiply two generalized functions results in inconsistencies. For instance, the expression involving the product of the delta function and a function that is not well-behaved leads to undefined results. This highlights the inability to define a binary operation on the space of distributions that adheres to standard multiplication properties. Consequently, the multiplication of generalized functions remains a complex and problematic area in mathematical analysis.
wrobel
Science Advisor
Insights Author
Messages
1,224
Reaction score
1,034
Because it drives to contradictions. Here is a nice example from E. Rosinger Generalized solutions of nonlinear PDE.

We can multiply generalized functions from ##\mathcal D'(\mathbb{R})## by functions from ##C^\infty(\mathbb{R})##. This operation is well defined. For example $$x\delta(x)=0\in \mathcal D'(\mathbb{R}),\quad x\cdot\frac{1}{x}=1\in \mathcal D'(\mathbb{R}),\quad \frac{1}{x}\in \mathcal D'(\mathbb{R}).$$
On the other hand ##C^\infty(\mathbb{R})\subset \mathcal D'(\mathbb{R})##

Ok then:)
$$\delta=\Big(x\cdot\frac{1}{x}\Big)\cdot\delta=\frac{1}{x}\cdot(x\delta)=0.$$
 
Mathematics news on Phys.org
I have interpreted ##x \delta(x)=0## as for support of good behavior function, i.e.
\int f(x) x \delta(x) dx= 0
for f(x) such that f(0) is finite. 1/x does not satisfy it.
 
This example shows that you can not define a binary operation of ##\mathcal D'(\mathbb R)\times \mathcal D'(\mathbb R)## with values in ##\mathcal D'(\mathbb R) ## such that
1) this operation acts on ##C^\infty(\mathbb{R})\times \mathcal D'(\mathbb R)## in the standard way;
2) this operation possesses the standard properties of the arithmetic multiplication
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 0 ·
Replies
0
Views
325
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K