Alternate Representation of Function

Click For Summary
SUMMARY

The discussion centers on the representation of the piecewise function, defined as $$\Delta(x) = 1$$ for $$x = 0$$ and $$\Delta(x) = 0$$ for $$x \neq 0$$. The user explores alternative representations, including a Fourier cosine series and a limit involving the Gaussian function, $$\Delta(x)=\lim_{\alpha \to \infty}e^{-\alpha x^2}$$. Feedback indicates that the Fourier series will converge to the zero function due to the nature of the coefficients, while the Taylor series representation of the Gaussian function is deemed valid.

PREREQUISITES
  • Understanding of piecewise functions
  • Familiarity with Fourier series and their convergence properties
  • Knowledge of limits and Taylor series
  • Basic concepts of generalized functions and distributions
NEXT STEPS
  • Study the properties of Fourier series and their convergence criteria
  • Learn about generalized functions and their applications in mathematical analysis
  • Explore the relationship between the Dirac delta function and distributions
  • Investigate the convergence of Taylor series and their implications in function representation
USEFUL FOR

Mathematicians, physicists, and students interested in advanced calculus, particularly those working with piecewise functions, Fourier analysis, and generalized functions.

Hertz
Messages
180
Reaction score
8
Hi all,

the function that I'm posting about is a piecewise function defined as follows:
$$
\Delta(x) = \left\{
\begin{array}{ll}
1 & \quad x = 0 \\
0 & \quad x \neq 0
\end{array}
\right.
$$

I decided to call it capital delta because of its similarity to the Dirac delta function. What I'm looking for is another way to represent this function such that it's a single line expression like a limit or a convergent series or something.

My first attempt at this was to represent it as a Fourier cosine series but I'm not sure that I did this 100% correctly. What I did was consider symmetry on the interval ##[-a, a]## where ##a>0## and consider that ##\Delta(x)=0## at ##x= \pm a##. I used this to find the frequencies of the cosines used in the series. Then, I used Fourier's trick to solve for the coefficient. After all was said and done, I ended up with a series that did not clearly converge to 0 for all ##x \neq 0##. It's been a while since I did a Fourier series so I wasn't too confident in my answer anyways. I'd be interested to see if someone else can make this work.

For another attempt, I realized the similarity to the Gaussian bell curve. So I defined the function as:
$$
\Delta(x)=\lim_{\alpha \to \infty}e^{-\alpha x^2}
$$
For ##|x|>0## this limit converges to zero, for ##x=0##, this limit converges to 1. This next step might be useless, but I'll include it anyways. The next thing I did was represent the function inside the limit as a taylor series. Again, I'm not sure of the convergence of this Taylor series (though I assume it converges everywhere) and I'm not sure how the outer limit interferes with the series or where it converges.
$$
\Delta(x)=\lim_{\alpha \to \infty}\sum_{n=0}^{\infty}\frac{(-\alpha x^2)^n}{n!}=\lim_{\alpha \to \infty}\sum_{n=0}^{\infty}(-1)^n\frac{\alpha^nx^{2n}}{n!}
$$

Anyways, the above attempt is the best I could really get at finding a 'single line representation' of ##\Delta##. Like I mentioned though, I'm not sure if the last attempt (with the series) even converges. Any comments about this problem or my methods or whatever are appreciated. Or if you have another attempt I would love to see it.

P.S.
Lastly I just want to mention that this seems eerily familiar to the Dirac delta function so it would indicate that you might want to consider generalized functions when dealing with it. I'm very new to generalized functions but from the bit that I do know I can say this:

The ##\Delta## function defined above, when multiplied with another function (i.e. ##\Delta(x)f(x)##) is equal to ##f(x)## at zero and 0 everywhere else. Assuming that ##f## is finite at zero, we can say that ##\int_{-\infty}^{\infty}\Delta(x)f(x)dx=0## right? But isn't there an infinite number of functions similar to ##\Delta## which integrate to zero when multiplied by another function? So does this mean the definition of ##\Delta## as a generalized function is not unique?
 
Physics news on Phys.org
A distribution is a uniquely defined functional, but if it is induced by a measurable function f, then f is not unique as such. For example, if f induces a distrubution D by D(g) = \int^{\infty}_{-\infty} fgdx, then f+1_A induces the same distrubution where 1_A is the unit function on a null set A.

The distribution induced by your function \Delta is the null-distrubution. Any function which is zero almost everywhere induces the null-distrubution, including the dirac-\delta function. In particular, the dirac-delta distribution (which takes any measurable function to its value in 0) is not induced by the dirac-delta function (which is zero everywhere but in the point 0, where it is \infty).

As to your attempt to find alternative definitions of \Delta, your equation is perfectly fine as the taylor series represents e^{-\alpha x^2} everywhere.
 
Hertz said:
My first attempt at this was to represent it as a Fourier cosine series but I'm not sure that I did this 100% correctly. What I did was consider symmetry on the interval ##[-a, a]## where ##a>0## and consider that ##\Delta(x)=0## at ##x= \pm a##. I used this to find the frequencies of the cosines used in the series. Then, I used Fourier's trick to solve for the coefficient. After all was said and done, I ended up with a series that did not clearly converge to 0 for all ##x \neq 0##. It's been a while since I did a Fourier series so I wasn't too confident in my answer anyways. I'd be interested to see if someone else can make this work.
You won't be able to make this work. The integral defining the Fourier coefficients cannot distinguish your function from the zero function since they only differ at one point. If calculate the coefficients correctly, they will all be zero, so the Fourier series will converge to the zero function, not to your function.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K