Operations on Generalized Functions: Intuitive Guide with Examples & SageMath

Demystifying Generalized Functions: A Visual & Symbolic Dive with SageMath

Why Generalized Functions?

What happens when your math toolkit fails?

Classical functions stumble when modeling impulses, spikes, or shocks—like a drum hit, a lightning strike, or a quantum event. These phenomena defy standard definitions. Enter generalized functions (distributions)—a powerful framework that extends the notion of functions beyond pointwise behavior.

Key Insight:

Generalized functions are not defined by values at points, but by how they act on other (test) functions.

They are essential in:

• Signal Processing: impulses & filters
• Fluid Dynamics: shockwaves & pressure fronts
• Quantum Physics: idealized particles and delta potentials
• PDEs: modeling discontinuities

Let’s explore addition and multiplication of these distributions, symbolically and visually, using SageMath.

Addition of Generalized Functions

Concept

If 𝑓 and 𝑔 are generalized functions (distributions), their sum acts on a test function 𝜑 as:

\[ (f+g)(\varphi) = f(\varphi) + g(\varphi) \]

If 𝑓 and 𝑔 are ordinary functions, this reduces to:

\[ (f+g)(x) = f(x) + g(x) \]

Analogy:

Like combining two sound waves—layering their influence over space.

SageMath Code:

var('x')
f = function('f')(x)
g = function('g')(x)
sum_fg = f + g
show(sum_fg)  # Displays f(x) + g(x)

Scalar Multiplication of a Generalized Function

Concept

Scaling a distribution 𝑓 by a scalar 𝑎 gives:

\[ (𝑎f)(\varphi) = 𝑎.f(\varphi) \]

Again, consistent with classical multiplication:

\[ (𝑎f)(x) = 𝑎.f(x) \]

Analogy:

Like turning the volume knob up or down on a signal.

SageMath Code:

var('x')
a = var('a')
af = a * f
show(af)  # Displays 𝑎·f(x)

Multiplication by a Smooth Function

Caution: Multiplying two generalized functions is not generally allowed!

✅ But:If 𝑎(𝑥) is infinitely differentiable, the product:

\[ (a(x)f)(\varphi) = f(a(x).\varphi(x)) \]

is well-defined. This works because smooth functions respect the test function structure.

Analogy:

Like applying an audio equalizer—you reshape the profile of the distribution.

SageMath Code:

a_x = function('a')(x)  # Smooth multiplier
af_x = a_x * f
show(af_x)  # Displays a(x)·f(x)

Interactive Visualization: Intuition Through Plotting

Visuals help ground abstract concepts like "distributions".

Example:Plot a smooth function you might use to multiply a distribution:

plot(lambda x: sin(x) * exp(-x^2), (x, -5, 5))

Run SageMath Code Here

Try replacing sin(x) with:

• cos(x) – a phase-shifted wave
• x^2 – a parabolic envelope
• tanh(x) – a smoothed step
• 1/(x^2 + 1) – Lorentzian shape

🎨 Think about how these would modulate the Dirac delta or Heaviside step distribution.

Bonus Analogy: Distributions = Spatial Influence

Operation	Classical View	Distribution Analogy
Addition	f(x) + g(x)	Combine influences (like sound)
Scalar Multiplication	a ⋅ f(x)	Amplify/dampen signal strength
Multiplication by Smooth Function	a(x) ⋅ f	Reshape effect with smooth filter

Explore & Experiment

Try it yourself:

Visualize combinations of:

• δ(x) (Dirac delta)
• H(x) (Heaviside function)
• Smooth envelopes like , \(e^{-x^2}, \quad \sin(x)\) etc.

Starter Challenge:

plot(lambda x: sin(5*x) * exp(-x^2), (x, -5, 5))

Run SageMath Code Here

How would this modulated wave shape a delta spike?

Further Reading:

• L. Schwartz, Théorie des Distributions
• Functional Analysis texts on Sobolev spaces