Skip to main content

calculus and analysis - Using DSolve to solve an integral equation


I've the following integral (or DE) that I need to solve (for $x(t)$ and all the constants are known, real and positive):


$$k\cdot\theta\left(t-m\right)+(n-k)\cdot\theta\left(t-v\right)=$$ $$x(t)\cdot\text{a}+\text{b}\cdot\ln\left(1+\frac{x(t)}{\text{c}}\right)+\int_0^tx(\tau)\cdot\mathcal{L}_\text{s}^{-1}\left\{\frac{1}{\frac{1}{f+sl}+\frac{s}{qs+p}}\right\}_{\left(t-\tau\right)}\space\text{d}\tau\tag1$$


I tried solving the equation with


DSolve[

{x[t]*a + b*Log[1 + ((x[t])/c)] +
Integrate[
x[Ï„] *
(InverseLaplaceTransform[1/((1/(f + s*l)) + (1/(s/(q*s + p)))), s, t - Ï„]),
{Ï„,0,t}] ==
k*HeavisideTheta[t - m] + (n - k)*HeavisideTheta[t - v],
x[0]==0, x'[0] == 0}, {x[t]}, {t}]

But it gives error messages. Is there a way in Mathematica to solve this integral/DE equation?



Answer




The following is a possible numeric solution, the key idea is simple: calculate the inverse Laplace transform symbolically first, then discretize the outer integral with right Riemann sum formula. (I know this formula is relatively rough, but given the upper limit is a variable, I'm not aware of better solution. )


We first substitute parameters into the equation and calculate Laplace inversion. Parameters are all set to 1 as suggested by OP in the comment. I've introduced 2 symbols int and inverse instead of Integrate and InverseLaplaceTransform to avoid unnecessary symbolic calculation, and use UnitStep to replace HeavisideTheta because it's more convenient for numeric calculation later.


eq = x[t] a + b Log[1 + x[t]/c] + int[x[Ï„] inverse[
1/(1/(f + s l) + 1/(s/(q s + p))), s, t - Ï„], {Ï„, 0, t}] ==
k HeavisideTheta[t - m] + (n - k) HeavisideTheta[t - v] /.
a | b | c | f | k | l | m | n | p | q | v -> 1 /. HeavisideTheta -> UnitStep /.
inverse -> InverseLaplaceTransform // Simplify

(*
int[((E^(-(1/2) (3 + Sqrt[5]) t -

1/2 (-3 + Sqrt[5]) Ï„) (-(-2 + Sqrt[5]) E^(Sqrt[5] t) - (2 + Sqrt[5]) E^(
Sqrt[5] Ï„)))/Sqrt[5] + DiracDelta[t - Ï„]) x[Ï„], {Ï„, 0,
t}] + Log[1 + x[t]] + x[t] == UnitStep[-1 + t]
*)

Since


Assuming[{t >= 0}, Integrate[DiracDelta[t - Ï„] x[Ï„], {Ï„, 0, t}]]
(* x[t] *)

The equation can be further simplified to



eq = eq /. DiracDelta[_] :> 0 /. int[a__] :> int@a + x[t]
(* int[(
E^(-(1/2) (3 + Sqrt[5]) t -
1/2 (-3 + Sqrt[5]) Ï„) (-(-2 + Sqrt[5]) E^(Sqrt[5] t) - (2 + Sqrt[5]) E^(
Sqrt[5] Ï„)) x[Ï„])/Sqrt[5], {Ï„, 0, t}] + Log[1 + x[t]] + 2 x[t] ==
UnitStep[-1 + t] *)

Then we define function for calculating right Riemann sum:


int[expr_, {t_, L_, R_, step_}] := step Total@Table[expr, {t, L + step, R, step}]


Finally, discretize the integral equation to a set of nonlinear algebraic equation and solve it with FindRoot:


step = 1/50;
bL = 0; bR = 2;
eqset = Table[eq, {t, bL, bR, step}] /. {Ï„, bL, a_} :> {Ï„, bL, a, step};
initial[t_] := 0;
sollst = FindRoot[eqset, Table[{x@t, initial@t}, {t, bL, bR, step}]][[All, -1]];
ListLinePlot[sollst, PlotRange -> All, DataRange -> {bL, bR}]

Mathematica graphics


Comments

Popular posts from this blog

How to thread a list

I have data in format data = {{a1, a2}, {b1, b2}, {c1, c2}, {d1, d2}} Tableform: I want to thread it to : tdata = {{{a1, b1}, {a2, b2}}, {{a1, c1}, {a2, c2}}, {{a1, d1}, {a2, d2}}} Tableform: And I would like to do better then pseudofunction[n_] := Transpose[{data2[[1]], data2[[n]]}]; SetAttributes[pseudofunction, Listable]; Range[2, 4] // pseudofunction Here is my benchmark data, where data3 is normal sample of real data. data3 = Drop[ExcelWorkBook[[Column1 ;; Column4]], None, 1]; data2 = {a #, b #, c #, d #} & /@ Range[1, 10^5]; data = RandomReal[{0, 1}, {10^6, 4}]; Here is my benchmark code kptnw[list_] := Transpose[{Table[First@#, {Length@# - 1}], Rest@#}, {3, 1, 2}] &@list kptnw2[list_] := Transpose[{ConstantArray[First@#, Length@# - 1], Rest@#}, {3, 1, 2}] &@list OleksandrR[list_] := Flatten[Outer[List, List@First[list], Rest[list], 1], {{2}, {1, 4}}] paradox2[list_] := Partition[Riffle[list[[1]], #], 2] & /@ Drop[list, 1] RM[list_] := FoldList[Transpose[{First@li...

front end - keyboard shortcut to invoke Insert new matrix

I frequently need to type in some matrices, and the menu command Insert > Table/Matrix > New... allows matrices with lines drawn between columns and rows, which is very helpful. I would like to make a keyboard shortcut for it, but cannot find the relevant frontend token command (4209405) for it. Since the FullForm[] and InputForm[] of matrices with lines drawn between rows and columns is the same as those without lines, it's hard to do this via 3rd party system-wide text expanders (e.g. autohotkey or atext on mac). How does one assign a keyboard shortcut for the menu item Insert > Table/Matrix > New... , preferably using only mathematica? Thanks! Answer In the MenuSetup.tr (for linux located in the $InstallationDirectory/SystemFiles/FrontEnd/TextResources/X/ directory), I changed the line MenuItem["&New...", "CreateGridBoxDialog"] to read MenuItem["&New...", "CreateGridBoxDialog", MenuKey["m", Modifiers-...

functions - Get leading series expansion term?

Given a function f[x] , I would like to have a function leadingSeries that returns just the leading term in the series around x=0 . For example: leadingSeries[(1/x + 2)/(4 + 1/x^2 + x)] x and leadingSeries[(1/x + 2 + (1 - 1/x^3)/4)/(4 + x)] -(1/(16 x^3)) Is there such a function in Mathematica? Or maybe one can implement it efficiently? EDIT I finally went with the following implementation, based on Carl Woll 's answer: lds[ex_,x_]:=( (ex/.x->(x+O[x]^2))/.SeriesData[U_,Z_,L_List,Mi_,Ma_,De_]:>SeriesData[U,Z,{L[[1]]},Mi,Mi+1,De]//Quiet//Normal) The advantage is, that this one also properly works with functions whose leading term is a constant: lds[Exp[x],x] 1 Answer Update 1 Updated to eliminate SeriesData and to not return additional terms Perhaps you could use: leadingSeries[expr_, x_] := Normal[expr /. x->(x+O[x]^2) /. a_List :> Take[a, 1]] Then for your examples: leadingSeries[(1/x + 2)/(4 + 1/x^2 + x), x] leadingSeries[Exp[x], x] leadingSeries[(1/x + 2 + (1 - 1/x...