g[z_, k_] := Exp[-z*(1/(k + 1))] *(1/(k + 1))
G[z_, k_] := 1 - Exp[-z*1/(k + 1)]
h[k_, f_, n_, y_, m_] :=
Assuming[n ∈ Integers && n > 0,
Integrate[G[s, f]^(1)*F[s], {s, 0, y}]]
j[k_, f_, n_, m_] =
Assuming[k > 0 && f > 0 && k ∈ Reals && f ∈ Reals &&
n ∈ Integers && n > 0,
Integrate[g[y, k]*h[k, f, n, y, m], {y, 0, Infinity}]]
// FullSimplify
If i define F[s]
as s or Sqrt[s]
or log[s]
the above code gives me back a pretty easy solution. But if i don't specify F[s]
the code has problems. I assume the code is not aware, that F[s]
should be an integrable function. Can i somehow specify this information? Or do you know a smart way to integrate thuis by hand?
:
in the set ofj
, and there's an errant-
before theFullSimplify
, you don't seem to use thel
at all, yet it's in theh
definition. Perhaps it would help if you clarified how you called the function. $\endgroup$ – Feyre Dec 19 '16 at 13:31Integrate[G[...]*F[s]]:>...
if you know it's integrable. Mathematica won't do this automatically since it doesn't have the required information and there is no way to state this as anAssumption
(that i'm aware of). $\endgroup$ – Thies Heidecke Dec 19 '16 at 14:56