Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!oix.u-ryukyu.ac.jp!u-ryukyu.ac.jp!ie.u-ryukyu.ac.jp!gama.is.tsukuba.ac.jp!nadesico.cc.tsukuba.ac.jp!hagi.cc.tsukuba.ac.jp!not-for-mail
From: Yuzuru Hiraga <hiraga@slis.tsukuba.ac.jp>
Newsgroups: fj.sci.math
Subject: Re: =?ISO-2022-JP?B?UXVpel8wNml2MjAwNBskQiFKMnJFeiFLGyhC?=
Date: Tue, 18 May 2004 16:51:57 +0900
Organization: A poorly-installed InterNetNews site
Lines: 31
Message-ID: <40A9C09D.1000008@slis.tsukuba.ac.jp>
References: <800c7853.0404130611.3be17e79@posting.google.com>	<800c7853.0404200011.1b30e0c8@posting.google.com>	<c63b0r$e31$1@hagi.cc.tsukuba.ac.jp>	<800c7853.0404202010.6c4a68e2@posting.google.com>	<800c7853.0404230701.526ec2dd@posting.google.com>	<40896DCA.3000001@slis.tsukuba.ac.jp>	<800c7853.0404261928.68658456@posting.google.com>	<c6u25p$10h$1@nr1.vectant.ne.jp>	<c6u2ik$10h$2@nr1.vectant.ne.jp>	<800c7853.0405051641.611172c9@posting.google.com>	<c7dpit$3n$1@nr1.vectant.ne.jp>	<800c7853.0405071024.3ef9ca4f@posting.google.com>	<c7glbo$64p$1@nr1.vectant.ne.jp>	<c7hi2m$q5l$1@nr1.vectant.ne.jp> <c7hk9s$rvu$1@nr1.vectant.ne.jp> <409C6E9A.70900@slis.tsukuba.ac.jp> <c7i1pf$1hq$1@caraway.media.kyoto-u.ac.jp> <40A681CE.7030007@slis.tsukuba.ac.jp> <c8ad7e$nns$3@nr1.vectant.ne.jp> <40A9B2B3.2050008@slis.tsukuba.ac.jp> <40A9B506.9030208@slis.tsukuba.ac.jp>
NNTP-Posting-Host: dhcp5-158.ipc.slis.tsukuba.ac.jp
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Trace: hagi.cc.tsukuba.ac.jp 1084866682 29065 133.51.5.158 (18 May 2004 07:51:22 GMT)
X-Complaints-To: news@hagi.cc.tsukuba.ac.jp
NNTP-Posting-Date: Tue, 18 May 2004 07:51:22 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ja-JP; rv:1.0.2) Gecko/20030208 Netscape/7.02
X-Accept-Language: ja
Xref: ccsf.homeunix.org fj.sci.math:1130



I wrote:
>>一方、f'(x) をすっ飛ばして定義してしまう、それこそ：
>>　　f''(x) = lim Δ^2 f /(Δx)^2
>>としてしまえば、例えば：
>>　　f(x) = 1/n^3 (x=1/n)、0（それ以外）
>>とでもすれば、f(x) は x=1/n では不連続で微分不能だけど、
>>上の意味での f''(0) は存在しますね。
> 
> うーん。失礼。これはやはり取消し。
> そのような定義というのはやはりしないものでしょう。
> すみません。

自分の間違いをネタにするのもなんですが、これがいみじくも Y.N. さんの
「Δ^n f 〜 f^(n)(x)・(Δx)^n による d^n f = f^(n)(x) dx^n の定義」
への回答にもなっています。

つまり
　　f^(n)(x) = {f^(n-1)(x)}'
という意味での高階導関数に対し、
　　lim Δ^n f/(Δx)^n
は、「もし f^(n)(x) が存在すれば」収束してそれと一致しますが、
f^(n)(x) が存在しない場合でも収束することがあります。
上が具体例です。

# ミスをしておいて人のことを言えた義理ではありませんが、
# Y.N. さんももう少し考えをまとめてから投稿していただいたほうが助かります。

（平賀）