Questions tagged [step-function]

A step function, also known as a simple function, is a finite sum of characteristic functions of bounded intervals. They are often used in real analysis and measure theory to approximate integrable functions.

Let $\{I_k\}_{k=1}^{n}$ be a finite set of bounded intervals. A corresponding step function $S:\mathbb{R} \to \mathbb{R}$ is a function of the form $$ S(x) = \sum_{k=1}^{n} a_k \Large{\chi}_{I_k}(x) $$Special cases include the sign function and the Heaviside theta function. The Kronecker delta is not typically taken to be a step function as the intervals are required to have positive length.

Step functions are continuous except possibly at boundary points of the intervals and are integrable. They often form a 'first step' for proving measurability properties of functions: first one might show the result for step functions, then measurable functions, then continuous functions, etc.

234 questions
6
votes
2 answers

Continuity at a point vs. interval—contradicton or not?

Let $f(x)=\lfloor x \rfloor $ and imagine posing the following questions. Is $f(x)$ continuous at $x=0$? Is $f(x)$ continuous on $[0,1)$? For the first question, since $\displaystyle \lim_{x\rightarrow 0} f(x)$ does not exist, we must answer…
5
votes
1 answer

Is the integral of the Dirac delta function equal to the integral of the Dirac delta function times the Heavisde unit step function?

Given that the Dirac delta function is defined as: $$ \delta(t) = \begin{cases} +\infty, & t = 0\\[2ex] 0, & t \neq 0\\[2ex] \end{cases} $$ And that the Heaviside unit step function is defined as: $$ \Theta(t) = \begin{cases} 0, & t <…
5
votes
1 answer

Pointwise sup of step functions is lower semicontinuous (a.e.)

I've found this problem while I was reading a paragraph about Riemann integration on some notes a mate gave me a long time ago. Let $f \colon [a,b] \to \mathbb R$ be a bounded function. Suppose there exists a sequence of step functions $f_k$ s.t. …
4
votes
0 answers

What is incorrect in my way for getting Fourier transform of step function?

Today I tried to get Fourier transform of step function ($u(t)$). But I got a result which seems is not correct. I want to know what is incorrect in my work? With attention to this…
3
votes
0 answers

What is $\alpha$? I cannot image $\alpha$ at all. ("Principles of Mathematical Analysis 3rd Edition" by Walter Rudin)

I am reading "Principles of Mathematical Analysis 3rd Edition" by Walter Rudin. What is $\alpha$? I can imagine what $\beta(x)=\sum_{n=1}^{N} c_n I(x-s_n)$ is. We can assume that $s_1
tchappy ha
  • 8,016
  • 3
  • 13
  • 25
3
votes
2 answers

What if we take step functions instead of simple functions in the Lebesgue integral

When we define the Lebesgue integral, we first define it for simple functions $s(x) = \sum\limits_{j=1}^n c_j\chi_{A_j}(x)$ (where $A_j$ are measurable) as $\int sd\mu = \sum\limits_{i=j}^n c_j \mu(A_j)$ and then for $f\ge 0$ as $\int fd\mu =…
3
votes
2 answers

Integral involving Heaviside function

For a class of Physics I need to compute the following integral: $$\int_{-L}^{L}\mathrm{d}q\dfrac{\theta(\epsilon-bq)}{\sqrt{(\epsilon-bq)}}$$ and I truly have no idea on how to proceed. Note $\theta(\cdot)$ is Heaviside step function. Also, is…
3
votes
1 answer

Is $\ a + b$ defined by $\ (a + b)(x) = a(x) + b(x) $ a step function where $\ a $ and $\ b $ are step functions

Note: x ∈ X$ is a step function where $\ X ⊂ R^n$ is a finite union of boxes and $\ a, b : X → [0,∞)$ are step functions. But I have only just started looking at step functions and I am struggling to come to terms with how this is possible. So I…
user751469
3
votes
1 answer

Show that for step function f, there exists a continuous function g such that $\int_{a}^{b}|f(x)-g(x)|dx < \epsilon$

Recall that a function $f$ on $[a,b$] is a step function when there exists a partition $P$ of $[a,b]$ such that $f$ is constant on the interior of each $I \in P$. Show that for any step function f on $[a,b]$, and any $\epsilon > 0$, there is a…
967723
  • 171
  • 8
3
votes
1 answer

Difficult ODE with Heaviside as coefficient

So In my research I stumbled upon a difficult ODE, It goes like this $$ y''(x)-[(\operatorname{Heaviside}(ax)+b]y(x)=0, $$ (a,b are the respective constants) I tried approximating Heaviside with analytical terms, which gave me these ODE's $$…
3
votes
2 answers

Integrating Heaviside Step Function of two Variables

Suppose we have a definite integral like $$ I=\int_0^\infty dx \int_0^\infty dy \, Θ(α-x-y) $$ where $a \in R_+^*$ and $Θ$ is the Heaviside step function. Of course this is easy in that we can find the answer without working with integrals, since…
Arbiter
  • 1,199
  • 1
  • 13
  • 27
2
votes
1 answer

If $f:[0,1] \to \mathbb{R}$ is of bounded variation, is $|f'|$ is integrable?

In reading the top-voted answer on this post, the answer appears to use the following fact (in the first bullet point of the answer): Claim: If $f: [0,1] \to \mathbb{R}$ is of bounded variation, then $f'$ is absolutely integrable (i.e. $\int_{0}^{1}…
2
votes
1 answer

Maximum of $y''$ for BVP with $y''''\leq0$.

Consider the following boundary value problem for some $L>0$ and $w(x)\geq 0$: $$\frac{d^4y}{dx^4}=-w(x)\,;\,\,\,y(0)=y(L)=0,\,y'(0)=y'(L)=0.$$ Here $w$ can be pathological: a step-function or an impulse function $w(x)=w_0\,\delta(x-a)$: anything…
2
votes
2 answers

Showing $\int_{-\infty}^x\delta(a)da = \theta(x)$ for $x\neq0$

I'm trying to show that $\int_{-\infty}^x\delta(a)da= \theta(x)$ for $x\neq0$, where $\delta(x)$ is the dirac delta function, and $\theta(x)$ is the step function , which equal to $0$ for $x\leq0$ and $1$ when $x>0$. By intuition, this integral…
IGY
  • 919
  • 2
  • 10
2
votes
3 answers

Solving $y'' + 2y' + 2y = 2\delta' + 2\delta$ without Laplace transform

Im trying to solve the following differential equation: $$y'' + 2y' + 2y = 2\delta' + 2\delta$$ I did this by first setting $ y(t) = z(t)\theta(t)$ and finding the causal solution to the problem. From this i got the following solution: $$y(t) =…
1
2 3
15 16