| Xie Tingfan.[J].数学年刊A辑,1980,1(3-4):429~436 |
|
| ON SMOOTHNESS AND DIFFERENTIABILITY OF FUNCTIONS |
| Received:October 08, 1979 |
| DOI： |
| 中文关键词: |
| 英文关键词: |
| 基金项目: |
|
| Hits: 881 |
| Download times: 0 |
| 中文摘要: |
| |
| 英文摘要: |
| Let \(f(x)\) be a bounded real function on [-1,1],we define the modulus of continuity of f as \[\omega (f,\delta ) = \mathop {\sup }\limits_{x,y \in [ - 1,1],\left| {x - y} \right| \le \delta } \left| {f(x) - f(y)} \right|\] and the modulus of smoothness of f as \[{\omega _2}(f,\delta ) = \mathop {\sup }\limits_{x \pm h \in [ - 1,1],\left| h \right| \le \delta } \left| {f(x + h) + f(x - h) - 2f(x)} \right|\] Functions \(f(x)\), continuous on [-1,1] and \({\omega _2}(f,\delta ) = o(\delta )\) ,are called uniformly smooth functions. It is well known that there is a uniformly smooth functions whose derivative exisits on a null-set only. It would is of interest to discuss what condition should be added on the nonnegative function \(\varphi (\delta )\), \(\left( {0 \le \delta \le \frac{1}{2}} \right)\),in order that every bounded function f satisfying\[{\omega _2}(f,\delta ) = O(\varphi (\delta ))\] possess continous (or finite) derivative. the main result of this paper are the following two theorems.
Theorem 1 let \(\varphi (\delta )\),\(\left( {0 \le \delta \le \frac{1}{2}} \right)\) ,be a nonnegative function, then, in order that every bounded function \(f(x)\) satisfying condition \[{\omega _2}(f,\delta ) = O(\varphi (\delta ))\] possess continous (or finite) derivative \(f'(x)\) on [-1,1],it is necessary and sufficient that the following condition hold \[\int_0^{\frac{1}{2}} {\frac{{\tilde \varphi (t)}}{t}} dt < \infty \]
where \[\tilde \varphi (\delta ) = {\delta ^2}\mathop {\inf }\limits_{0 \le \eta \le \delta } \left\{ {{\eta ^{ - 2}}\mathop {\inf }\limits_{\eta \le \xi \le 1/2} \varphi (\xi )} \right\}\]
Theorm 2 Let \(f(x)\) be a bounded function with \[\int_0^{\frac{1}{2}} {\frac{{{\omega _2}(f,t)}}{{{t^2}}}} dt < \infty \]
then \(f'(x)\) is a continous function and \[{\omega _2}(f',\delta ) = O\left\{ {\int_0^\delta {\frac{{{\omega _2}(f,t)}}{{{t^2}}}} dt} \right\}\]. |
| View Full Text View/Add Comment Download reader |
| Close |
|
|
|
|
|
