0から1まで単調に増加する関数f(x)について,
0≦x≦1/2 では f(x)
1/2<x≦1  では 1-f(x)

を積分する場合,
f(a)=1/2
なるaを求めずに解きたいのですが
できるかた教えてください.
ヒントだけでも良いです.

このQ&Aに関連する最新のQ&A

A 回答 (6件)

No.3の回答がでたので、改めてご質問が



0≦x≦1/2 では f(x)
1/2<x≦1  では 1-f(x)
を積分する

のか

0≦f(x)≦1/2 では f(x)
1/2<f(x)≦1  では 1-f(x)
を積分する

のか、どっちかはっきりしてたも。
    • good
    • 0

どうも煮詰まっちゃってるみたいですね。


f(x)が何者かさっぱり分からない状態なので、計算できるかどうかは度外視して一般論。

被積分関数を
g(x) = if f(x)≦1/2 then f(x) else 1-f(x)
と書きます。すると、
g(x) = min{f(x), 1-f(x)}
であり、
g(x) = 1-max{f(x), 1-f(x)}
とも書けます。ここに、min{a,b}はaとbの小さい方、max{a,b}はaとbの大きい方を表す演算です。

 f(x)の単調性は利用しませんで、「超離散化公式」という変な名前の公式を利用します。どういうものかと言うと、
列 X[j] (j=1,2,....,N)について、集合X={X[1],X[2],.....,X[N]}を考えると
max X = lim ε ln( Σ(a[j]exp(X[j]/ε)))  (超離散化公式)
ここにlimはε→0の極限、Σはj=1~Nの総和、ln()は自然対数、exp()は指数関数です。また、列a[j](j=1,2,....,N)は任意の正の定数の列です。

ご質問は
S=1-∫max{f(x), 1-f(x)} dx (積分はx=0~1)
を求めればよいので、
S=1-lim ε∫ ln( A exp(f(x)/ε) + B exp((1-f(x))/ε)) dx
ただし、AとBは任意の正の定数、limはε→0の極限、積分はx=0~1、
というのが計算できれば一応オッケーです。(A,Bが幾らであろうと答は変わりません。)

こんなの計算するぐらいなら、f(x)=1/2を解く方が簡単そうな気がしますけど…
    • good
    • 0
この回答へのお礼

みなさま,お返事がおそくなりましてすみませんでした.

超離散化公式でも陽に解は出ないようです.

やはり数値解で我慢したします.

(北大の問題ではないんです…)

時間を割いていただきまして,
心より,お礼を申し上げます.

お礼日時:2002/04/03 00:47

すいません。

訂正です。
「単調に増加する→f(x)=1-f(x)とする。(北大式に直す。ばればれ) 」
を、
「単調に増加する→f(1-x)=1-f(x)とする。(北大式に直す。ばればれ)」 と直してください。

北大の問題ではこうあります。探すの苦労したぜ。
「関数f(x)が0≦x≦1において常にf(1-x)=1-f(x)なる関係を満たすとき、定積分
        ∫(from0to1)f(x)dx
の値を求めよ」
    • good
    • 0

単調に増加する→f(x)=1-f(x)とする。

(北大式に直す。ばればれ)
y=f(1-x)はy=f(x)をx=1/2について対称移動させたもの。
よって、
∫(from0to1)f(x)dx=∫(from0to1)f(1-x)dx…(1)
よって、
∫(from0to1)f(x)dx+∫(from0to1)f(1-x)dx=2∫(from0to1)f(x)dx=1

∴∫(from0to1)f(x)dx=1/2

受験生だと思うので一応解説。
この問題は北大の問題で、あなたにこの問題を出した人は「f(x)=1-f(x)」というところを間違えてしまったんでしょう。この問題を見て推測できるのは、あなたもその先生もかなりの実力者だということです。単調増加はy=logxがらみで入試頻出なので、おそらくその辺の問題を一緒に作っていたんでしょう。この問題は「値を求める→等式(方程式)を立てる(公式含む)→それで駄目なら不等式を立て、評価かはさみうち→それでも駄目なら必要条件の利用と十分性の検討」
の方法論で言えば等式があるので、∫(from0to1)f(x)dxを未知数とした方程式を立てることに着目することに活路を見出すしかない。
そのためには「対称変換の知識」を持っていなければならない。この知識は「大学ヘの数学・数学ショートプログラム」という本で複素数を使って書かれているので参照されたし。このテクニックを一次変換でやるか複素数でやるかでその人の年齢と受験生に対して親切であるかがわかるので逆に評価してやると良い。

stomachmanさん、おひさしぶり。といっても誰だかわからないでしょうね。
最後に接触したのは「包洛線」のところだったけかなあ。(笑)
    • good
    • 0

No.1の訂正の通り、質問に書き損じがあるとして…



「f(a)=1/2を解かないで」という条件から、

・「fの逆関数は陽には分からない」
・「数値積分をやるのではなく、解析的に積分したい」
という意味だと思います。てことは、
・「f(x)はデータの列じゃなく、(ややこしい)式で与えられている」
・「f(x)に含まれる変数はxだけじゃなく、他にも変数を含んでいて、f(a)=1/2となるaがそれら他の変数に依存する」
という構造なのでしょう。さもなければ、数値的にf(a)=1/2を解いてしまえば良いのですから。

んー。そうなると具体的にf(x)の中身を見せて貰って考える以外にないと思います。試しにupしてみません?

この回答への補足

みなさますみません.
少し私用が立てこんでおりまして
もう少しお待ちください.

補足日時:2001/12/11 09:24
    • good
    • 0

0≦f(x)≦1/2 では f(x)


1/2<f(x)≦1  では 1-f(x) の間違いだと思いますが、そのように解釈して回答します。

証明できていませんが、直感的に無理です。
f(x)の不定積分を{F(x)+a}とし、f(x)=1/2となるxの値をpとすると、求める値は
 {F(p)-F(0)+a*p} + {-a*(1-p)+F(p)-F(1)}
となり、これを整理して、
 2*F(p) - F(1) - F(0) + 2*a*p - a
と計算できますが、どうしてもpの値が無いと計算不能になると思われます。

関数が特殊な形(例えば2次関数など)に特定できれば可能性が無いとはいえないかもしれませんが、私の知識では一般的に解けそうもありません。

以上。
    • good
    • 0
この回答へのお礼

全く申し訳ありません.
仰る通りのミスであります.
ご負担をお掛けしました.

やはり無理なのでしょうか.
幾何的に考えてみているのですが,今のところメドがたっておりません.

とにもかくも有難うございます.
ご迷惑お掛けしました.

お礼日時:2001/12/06 16:13

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aと関連する良く見られている質問

Q関数f(x)が区間0≦x≦1で単調に増加する条件は0<x<1のとき、f

関数f(x)が区間0≦x≦1で単調に増加する条件は0<x<1のとき、f’(x)≧0であること。
とあるのですが、なぜこのような条件となるのでしょうか?
自分は条件が、0≦x≦1のとき、f’(x)>0かと思ったのですが、考え方が分かりません、、、

どなたか詳しく説明して頂けないでしょうか。よろしくお願いします。

Aベストアンサー

#3です。

まず、自己補足。
文脈から判断すると、「条件」という言葉は「十分条件」の意味で
用いられていると判断するのが妥当。

ただ、(0,1)で導関数が非負であることだけで、[0,1]で単調増加といえないことは
先の反例のとおり。
(0,1)で導関数f’(x)≧0 に加え
[0,1]でfが連続 とかいった隠れた条件があるとのではないかというのが推測。


もとより、導関数の存在等は単調増加であることの必要条件ではない(不連続関数で単調増加のものがあるから)ので、文脈上「条件」が「必要十分条件」とはならないことは自明でした。

以上、自己補足

---
???
  誤解のないよう追記。
 「連続関数で」「両端を除く開区間で f'>0 が必要十分です」は「≧」では?

 (-1,1)における、f(x)=x^3 の x=0 で、f'(0)=0 だけど単調増加ですよね。
 
  この単調増加は、狭義単調増加。

   ついでに補足すると、一般には
  x<y ⇒ f(x)<f(y) は狭義単調増加
  x<y ⇒ f(x)≦f(y) が広義単調増加 が定義。
  (x=y ⇒ f(x)=f(y) はいうまでもないことじゃないですか・・)

  

#3です。

まず、自己補足。
文脈から判断すると、「条件」という言葉は「十分条件」の意味で
用いられていると判断するのが妥当。

ただ、(0,1)で導関数が非負であることだけで、[0,1]で単調増加といえないことは
先の反例のとおり。
(0,1)で導関数f’(x)≧0 に加え
[0,1]でfが連続 とかいった隠れた条件があるとのではないかというのが推測。


もとより、導関数の存在等は単調増加であることの必要条件ではない(不連続関数で単調増加のものがあるから)ので、文脈上「条件」が「必要十...続きを読む

QX-Y平面の領域D={(x,y)|0≦x≦1,x-1≦y≦x+1}を、

X-Y平面の領域D={(x,y)|0≦x≦1,x-1≦y≦x+1}を、x/y=u,y=vとして、U-V平面での領域で表したいのですが、どうにもできません。誰か教えてください。

Aベストアンサー

定義域をどう変換したら良いかわからないという意味の質問と捉えるならば、(<、>の下の等号は省略)
0<x<1 より両辺を足したり引いたりすれば、
1<x+1<2
-1<x-1<0
よってx-1<y<x+1 は -1<y<2 となり、 -1<v<2
また、x/y=uより0<x<1は0<uy<1
これから両辺に(題意としてy=v=0は定義されないので)1/yを掛ければ
0<u<1/y=1/v となりvの定義域から1/vの定義域の上限は無限大なので
0<uのみとなる。
結果、-1<v<2、0<uが領域の変換後の回答です。


 

Qx1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底,{y1,y2,y3}がその双対基底でx=(0,1,0)の時,y1(x),y

[問] ベクトルx1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底とする。
{y1,y2,y3}がその双対基底でx=(0,1,0)の時、
y1(x),y2(x),y3(x)を求めよ。

という問題の解き方をお教え下さい。

双対基底とは
{f;fはF線形空間VからFへの線形写像}
という集合(これをV*と置く)において、
V(dimV=nとする)の一組基底を{v1,v2,…,vn}とすると
fi(vj)=δij(:クロネッカーのデルタ)で定めるV*の部分集合
{f1,f2,…,fn}はV*の基底となる。これを{v1,v2,…,vn}の双対基底と呼ぶ。

まず、
C^3の次元は6(C^3の基底は(1,0,0),(0,1,0),(0,0,1),(i,0,0),(0,i,0),(0,0,i))
だと思うので上記のx1,x2,x3は基底として不足してると思うのです(もう3ベクトル必要?)。

うーん、どのようにしたらいいのでしょうか?

Aベストアンサー

>C^3の次元は6(

これが間違え.
「x1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底」
といってるんだから,係数体はRではなく,C.

あとは定義にしたがって,
dualな基底を書き下せばいいだけ.
y1(x1)=1,y1(x2)=y1(x3)=0であって
v=ax1+bx2+cx2と表わせるわけだし,
v=(v1,v2,v3)とすれば,a,b,cはv1,v2,v3で表現できる
#単なる基底変換の問題.

Q関数f(x)は閉区間I=[0,1]で連続で、0≦f(x)≦1 (x∈I

関数f(x)は閉区間I=[0,1]で連続で、0≦f(x)≦1 (x∈I)を満たしているとする。この時、方程式f(x)=xはIで解を持つことを示してください。

よろしくお願いします。

Aベストアンサー

与式を移項して

f(x)-x=0

ここで、0≦f(x)≦1、0≦x≦1であるので、

x=0の時
f(0)-0≧0

x=1の時
f(1)-1≦0

関数f(x)は連続であるので、中間値の定理(でしたっけw)により
∃x∈I s.t. f(x)-x=0

意訳
f(x)-xのグラフを書くと、
x=0の時はx軸より上に点があって、
x=1の時はx軸より下に点があって、
連続な関数だからその点同士がなめらかにつながっているグラフが書ける。
そうしたらxが0から1の間で必ずグラフがx軸と交差する。
その点のx座標は
f(x)-x=0
つまり
f(x)=x
を満たすxである。

Qf(x)=1-|x|(-1≦x≦1),0(x<-1,1<x)

f(x)=1-|x|(-1≦x≦1),0(x<-1,1<x)

また、g(x)=∫0から1 f(t-x) dt とする。

このときy=g(x)のグラフがどうしても描けません。
g(1)=1/2であることは求めることができたのですが、ここからどうしていいかわかりません。

どなたか解説お願いします。

Aベストアンサー

こんばんわ。

少し形を変えれば、わかりやすくなるかもしれませんね。

その前に、y= f(x)のグラフは描いておく方がよいですね。

t- x= uと置換することを考えます。
すると、
g(x)= ∫[-x → 1-x] f(u)du

と変形できます。
この積分の式をよく考えると、-x≦ u≦ 1-xという「幅が 1」の区間が xの値に応じて動くことになります。
この区間が -1≦ u≦ 1と重なる様子を考えてみてください。


人気Q&Aランキング

おすすめ情報