What is Heaviside Function? Tutorial & Application

AI Thread Summary
The Heaviside function, when multiplied by a random variable, does not qualify as a probability density function (pdf) because it does not satisfy the normalization condition required for pdfs. To create a valid pdf using the Heaviside function, one must normalize it by calculating the total area under the curve and dividing by that value. This process is particularly relevant in Bayesian statistics, where a prior and likelihood are combined to form a posterior. If the prior is not normalized, the posterior must be adjusted accordingly to ensure proper probability representation. Understanding these concepts is essential for applying the Heaviside function in statistical contexts.
zli034
Messages
106
Reaction score
0
Hi all:

The Heaviside function multiples a random varaible, is that a probability density function?

This is my first time knowing about Heaviside, any tutorial and application of it?
 
Physics news on Phys.org
The Heaviside function multiplied by a random variable (that may only have a real value) is not a probability density function. For a probability density function P of a random variable which may only have real values,

\int _{\infty}^{\infty} P(x)dx = 1

whereas if H(x) is the Heaviside step function, and a is a real number

\int _{\infty}^{\infty} aH(x)dx \neq 1
 
zli034 said:
Hi all:

The Heaviside function multiples a random varaible, is that a probability density function?

This is my first time knowing about Heaviside, any tutorial and application of it?

You need to normalize your pdf.

This kind of thing happens in Bayesian statistics. What happens is you have a prior and a likelihood and then you create the posterior from the prior and the likelihood.

One thing you should realize though is that if you want to use the Heaviside function as some kind of prior, you will need to normalize the posterior. What will happen is that for a probability to be normalized, if you have a likelihood that is normalized and a prior that is not (this will definitely nearly always be the case), then you need to find the total area of the un-normalized pdf and divide your posterior definition by this area.

In terms of interpreting what you are doing, it is basically the equivalent of defining a uniform prior in some (possibly collections of) interval(s).

So yeah, figuring out the total area of our new pdf (find the integral over the whole real line for your new pdf), and divide your pdf by that number and you will have a proper pdf.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top