Unlocking the Secrets of Generalized Functions | Even & Odd Combinations of \(|x|^λ\) & Singularities

Unlocking the Secrets of Generalized Functions: Even and Odd Combinations of \(∣x∣^λ\) and Their Singularities.

A Deep Dive into Distributions, Residues, and Their Role in Advanced Analysis

Introduction: Why Generalized Functions Matter

Ever wondered how mathematicians rigorously describe point charges, shock waves, or impulses? Or how we make sense of "functions" that are infinite at a point but still integrable in some abstract sense?
Enter the world of generalized functions, or distributions—a revolutionary framework that allows us to extend classical analysis to singularities and discontinuities. Distributions are essential in:

• Quantum field theory and electromagnetism
• Signal and image processing (e.g., edge detection, Fourier analysis)
• Partial differential equations (PDEs) and Green’s functions

In this post, we explore even and odd power-law distributions \(|x|^λ\) and \(|x|^λ\)sgn(x), showing how their structure reveals deep insights into singularities, residues, and analytic continuation.

What Is a Distribution?

A distribution isn’t evaluated at points—it acts on test functions \(\varphi(x)\). Instead of \(f(x)\), we work with: \[(f, \varphi) = \int_{-\infty}^{\infty} f(x) \varphi(x) \,dx\] but extended to objects like:

• Dirac delta\(\delta(x)\): not a function, but defined via: \[ (\delta,\varphi)=\varphi(0)\]
• Derivatives of discontinuous functions:For the Heaviside function \(H(x)\), we have: \[ \frac{d}{dx} H(x)=\delta(x)\]

Distributions allow formal manipulation—differentiation, integration, and even analytic continuation—while preserving rigorous mathematical meaning.

Even and Odd Combinations of Power-Law Distributions

Start with half-line distributions:

• \[ x^\lambda_+ = \begin{cases} x^\lambda, & x > 0 \\ 0, & x \leq 0 \end{cases}\]
• \[x^\lambda_- = \begin{cases} 0, & x \geq 0 \\ |x|^\lambda, & x < 0 \end{cases} \]

From these, define even and odd extensions across \(\mathbb{R}\)

Even Combination:

\[ |x|^\lambda= x^\lambda_+ + x^\lambda_-\]

Odd Combination

\[ |x|^\lambda sgn(x)= x^\lambda_+ - x^\lambda_-\] These symmetrizations are key to identifying which singularities cancel and which reinforce.

Singularities and Residues: Where Things Blow Up

Residues at \(\lambda=-k \) for \(x^\lambda_+\):

\[\text{Res}_{\lambda=-k} \left( x_+^\lambda \right) = \frac{(-1)^{k-1}}{(k-1)!} \delta^{(k-1)}(x) \]

Residues for \( x^\lambda_-\):

\[\text{Res}_{\lambda=-k} \left( x_+^\lambda \right) = \frac{1}{(k-1)!} \delta^{(k-1)}(x) \]

For \(|x|^\lambda\):

• Residues cancel for even \(k (i.e., \lambda=−2,−4,…):\)⇒No pole⇒Regular distribution
• Residues add for odd \(k (i.e.,λ=−1,−3,…)\):\[\text{Res} = \frac{2}{(2m)!} \delta^{(2m)}(x)\]

For \(|x|^\lambda sng(x)\):

• Poles occur only at even negative integers (residues add).
• Well-defined for odd negative integers.

This classification governs which singular terms survive, and when we can regularize.

Analytic Continuation and Regularization

When direct integrals diverge, analytic continuation saves the day.
For example, the regularized action of \(|x|^\lambda\) in the strip \( -2m - 1 < \Re(\lambda) < -2m + 1 \) is:\[(|x|^\lambda, \varphi) = \int_{0}^{\infty} x^\lambda \left[ \varphi(x) + \varphi(-x) - \sum_{j=0}^{m-1} \frac{x^{2j}}{(2j)!} \varphi^{(2j)}(0) \right] dx\] This subtracts the divergent Taylor expansion terms of \( \varphi\) at 0.
A similar formula exists for the odd combination, subtracting odd derivatives.

Differentiation Rules for Generalized Powers

Distributions respect a version of the power rule:

• \[\frac{d}{dx} |x|^\lambda = \lambda |x|^{\lambda - 1} \operatorname{sgn}(x)\]
• \[\frac{d}{dx} \left( |x|^\lambda \operatorname{sgn}(x) \right) = \lambda |x|^{\lambda - 1}\]

These mirror classical derivatives but apply even at singular points.
Particularly:\[\frac{d}{dx} x^{-n} = -n x^{-n-1}\] is valid in distributional sense, even when \( x^{-n} \)isn’t integrable classically.

Example: Regularized Gamma Function

The Gamma function:\[\Gamma(\lambda) = \int_{0}^{\infty} x^{\lambda - 1} e^{-x} \,dx\] only converges for \(\Re(\lambda)>0\),but using distributional regularization, we extend it across the complex plane (except poles at \(\lambda=0,−1,−2,…). \)
Example regularized expression:\[\Gamma(\lambda) = \int_{0}^{1} x^{\lambda - 1} \left[ e^{-x} - \sum_{k=0}^{n} \frac{(-1)^k x^k}{k!} \right] dx + \int_{1}^{\infty} x^{\lambda - 1} e^{-x} dx + \sum_{k=0}^{n} \frac{(-1)^k}{k!(k+\lambda)}\]

Code It: Symbolic Differentiation with SymPy

import sympy as sp

# Define symbols
x, lambda_ = sp.symbols('x lambda')

# Define x_+^lambda as a piecewise function
x_plus = sp.Piecewise((x**lambda_, x > 0), (0, True))

# Differentiate
dx_plus = sp.diff(x_plus, x)

# Display
sp.pprint(dx_plus)

💡 Run Python Code Live in here!

Final Thoughts

The theory of generalized functions illuminates the hidden structure behind classical pathologies. Distributions like \(|x|^\lambda\) and \(|x|^\lambda sng(x)\) bridge rigorous mathematics and physical intuition, making them essential tools in modern theoretical and applied analysis.