Tìm f và 'tính' tích phân?

Câu trả lời:

Xem bên dưới

Giải trình:

# e ^ f (x) + f '(x) + 1 = 0 #

# e ^ y + y '+ 1 = 0, qquad y = f (x) #

# y '= - 1 - e ^ y #

# (dy) / (1 + e ^ y) = - dx #

#z = e ^ y, qquad dz = e ^ y dy = z dy #

#int (dz) / (z (1 + z)) = - int dx #

#int dz 1 / z - 1 / (1 + z) = - int dx #

#ln (z / (1 + z)) = C - x #

# e ^ y / (1 + e ^ y) = e ^ (C - x) #

Sử dụng IV:

• # e ^ (C - x) = 1 / (e ^ (- y) + 1) #

• #lim_ (x đến 0) y = + oo ngụ ý C = 0 #

# e ^ y (1 - e ^ (- x)) = e ^ (- x) #

# e ^ y = e ^ (- x) / (1 - e ^ (- x)) = 1 / (e ^ x-1) #

#y = ln (1 / (e ^ (x) -1)) #

Các CHỈ bit

#I = int_ (ln2) ^ 1 e ^ y (x + 1) dx #

# = - int_ (ln2) ^ 1 (1+ x) (1 + y ') dx #

# = - int_ (ln2) ^ 1 1+ x dx -color (đỏ) (int_ (ln2) ^ 1 y ' dx) - int_ (ln2) ^ 1 xy' dx #

# màu (đỏ) (int_ (ln2) ^ 1 y ' dx) = ln (1 / (e ^ (x) -1)) _ (ln2) ^ 1 = - ln (e-1) #

#implies I - ln (e-1) = - int_ (ln2) ^ 1 1+ x dx - int_ (ln2) ^ 1 xy ' dx #

• # int_ (ln2) ^ 1 1+ x dx gt 0 #

• # int_ (ln2) ^ 1 xy ' dx gt 0 #

#implies Tôi lt ln (e-1) #

Câu trả lời:

#f (x) = c -x -ln (1-e ^ (c-x)) #

Tôi chưa thể chứng minh sự bất bình đẳng, nhưng tôi đã tìm thấy sự bất bình đẳng mạnh mẽ hơn.

Giải trình:

Để cho #g (x) = e ^ (f (x)) # do đó, bằng cách sử dụng quy tắc chuỗi:

#g '(x) = f' (x) e ^ (f (x)) #

Lưu ý rằng:

#f (x) = ln (g (x)) #, vì thế:

#f '(x) = (g' (x)) / (g (x)) #

Thay thế trong phương trình ban đầu, chúng ta có:

#g (x) + (g '(x)) / (g (x)) +1 = 0 #

và theo định nghĩa #g (x)> 0 #:

# (dg) / dx + g ^ 2 (x) + g (x) = 0 #

có thể tách rời:

# (dg) / dx = -g ^ 2-g #

# (dg) / (g (g + 1)) = -dx #

#int (dg) / (g (g + 1)) = -int dx #

Phân tách thành viên đầu tiên sử dụng phân số một phần:

# 1 / (g (g + 1)) = 1 / g -1 / (g + 1) #

vì thế:

#int (dg) / g- int (dg) / (g + 1) = -int dx #

#ln g - ln (g + 1) = -x + c #

Sử dụng các thuộc tính của logarit:

#ln (g / (g + 1)) = - x + c #

# g / (g + 1) = e ^ (c-x) #

Bây giờ giải quyết cho # g #:

#g = e ^ (c-x) (g + 1) #

#g (1-e ^ (c-x)) = e ^ (c-x) #

và cuối cùng:

#g (x) = e ^ (c-x) / (1-e ^ (c-x)) #

Hiện nay:

#f (x) = ln (g (x)) = ln (e ^ (cx) / (1-e ^ (cx))) = ln (e ^ (cx)) -ln (1-ce ^ -x) #

#f (x) = c -x -ln (1-e ^ (c-x)) #

Chúng tôi có thể xác định # c # từ điều kiện:

#lim_ (x-> 0) f (x) = + oo #

Như:

#lim_ (x-> 0) c -x -ln (1-e ^ (c-x)) = c-ln (1-e ^ c) #

cái nào là hữu hạn trừ khi # c = 0 #.

Sau đó:

#f (x) = -x-ln (1-e ^ -x) #

Bây giờ hãy xem xét tích phân:

#int_ (ln2) ^ 1 e ^ (f (x)) (x + 1) dx = int_ (ln2) ^ 1 e ^ -x / (1-e ^ -x) (x + 1) dx #

Như:

# d / dx (e ^ -x / (1-e ^ -x) (x + 1)) = - (x * e ^ x + 1) / (e ^ x-1) ^ 2 #

chúng ta có thể thấy rằng trong khoảng thời gian tích hợp, hàm đang giảm nghiêm ngặt, vì vậy giá trị tối đa của nó # M # xảy ra cho # x = ln2 #:

#M = (e ^ -ln2 / (1-e ^ -ln2)) (ln2 + 1) = (1/2) / (1-1 / 2) (ln2 + 1) = (ln2 + 1) #

Sau đó:

#int_ (ln2) ^ 1 e ^ (f (x)) (x + 1) dx <= M (1-ln2) #

#int_ (ln2) ^ 1 e ^ (f (x)) (x + 1) dx <= 1-ln ^ 2 2 #

Câu trả lời:

Đây là một cái nữa

Giải trình:

#a) #

# e ^ f (x) + f '(x) + 1 = 0 # # <=> ^ (* e ^ (- f (x)) #

# 1 + f '(x) e ^ (- f (x)) + e ^ (- f (x)) = 0 # #<=>#

# -f '(x) e ^ (- f (x)) = 1 + e ^ (- f (x)) # #<=>#

# (e ^ (- f (x))) '= 1 + e ^ (- f (x)) # #<=>#

# (1 + e ^ (- f (x))) '= 1 + e ^ (- f (x)) ## <=> ^ (x> 0) #

vậy đó # c ##trong## RR #, # 1 + e ^ (- f (x)) = ce ^ x #

• #lim_ (xto0) e ^ (- f (x)) = _ (xto0, y -> - oo) ^ (- f (x) = u) lim_ (uto-oo) e ^ u = 0 #

và #lim_ (xto0) (- e ^ (- f (x)) + 1) = lim_ (xto0) ce ^ x # #<=>#

# c = 1 #

Vì thế, # 1 + e ^ (- f (x)) = e ^ x # #<=>#

#e ^ (- f (x)) = e ^ x-1 # #<=>#

# -f (x) = ln (e ^ x-1) # #<=>#

#f (x) = - ln (e ^ x-1) # # màu (trắng) (aa) #, #x> 0 #

#b) #

# int_ln2 ^ 1 (e ^ f (x) (x + 1)) dx <##ln (e-1) #

#f (x) = - ln (e ^ x-1) #,#x> 0 #

#f '(x) = - e ^ x / (e ^ x-1) #

# -f '(x) = e ^ x / (e ^ x-1)> = (x + 1) / (e ^ x-1) # không có ''#=#''

• # int_ln2 ^ 1f '(x) dx> int_ln2 ^ 1 (x + 1) / (e ^ x-1) dx # #<=>#

# int_ln2 ^ 1 (x + 1) / (e ^ x-1) dx <## - f (x) _ ln2 ^ 1 = -f (1) + f (0) = ln (e-1) #

Tuy nhiên chúng tôi có

# e ^ f (x) (x + 1) = e ^ (- ln (e ^ x-1)) (x + 1) = (x + 1) / (e ^ x-1) #

và như vậy, # int_ln2 ^ 1 (x + 1) e ^ f (x) dx <##ln (e-1) #