Alternate Representation of Function

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?
 
Mathematics 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.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.

Similar threads

Back
Top