Skip to main content
added 1 character in body
Source Link
GH from MO
  • 105.4k
  • 8
  • 294
  • 398

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f$$f'$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ must be absolutely continuous.

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ must be absolutely continuous.

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f'$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ must be absolutely continuous.

added 5 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ ismust be absolutely continuous.

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ is absolutely continuous.

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ must be absolutely continuous.

added 121 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229

LetSuch a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. ThereforeIn particular, $f$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ is absolutely continuous.

Let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ is absolutely continuous.

Such a function does not exist.

Indeed, let $f\colon[a,b]\to\mathbb R$ be an increasing differentiable function. Then $$f(x)-f(a)=(HK)\int_a^x f'(t)\,dt$$ for all $x$, where $(HK)\int$ is the Henstock–Kurzweil integral. In particular, $f$ is Henstock–Kurzweil integrable on $[a,b]$. Therefore and because $f'\ge0$, $f'$ is Lebesgue integrable on $[a,b]$, and hence $$f(x)-f(a)=(L)\int_a^x f'(t)\,dt$$ for all $x$, where $(L)\int$ is the Lebesgue integral.

So, $f$ is absolutely continuous.

Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading