Skip to main content

calculus and analysis - How to augment the realm of functions Mathematica thinks it knows how to integrate symbolically



My question involves extending the functionality of Integrate over specific integrals in the most generic manner.




Specifically, is it possible to "hack into" Integrate so as a to add to the "grammar" of analytic integration a new family of integrals which the user would have provided (in the spirit of ProbabilityDistribution which allows the user to include his own PDF into the existing tools).


The idea is that Mathematica would be able to identify when such integrals pop up and replace it by the given definition. The specific example I have in mind involves the integral of MultinormalDistribution over square subregions of the integration domain. That is to say I would like to attach to either MultiNormalDistribution, or Expectation, (or Integrate) the following rule


Expectation[Boole[(x>a)&&(y>b)], {x,y} ~Distributed~
    MultinormalDistribution[{0,0},{{1,c},{c,1}}]] = FF[a,b,c]

(where FF is a given function of a, b, and c which could be tabulated).


@JM suggested using TagSet or TagSetDelayed, but the difficulty is to decide to which function it should be associated with, and with what efficiency, given that it would be unwise to temper with build in symbols like Integrate?


Attempt


As a simpler toy problem I tried


Unprotect[Integrate]; 

Integrate /: Integrate[f[x], {x, a_, b_}] = F[a, b] 
Protect[Integrate];

for which Integrate[f[x],{x,1,2}] returns F[1,2]


But for instance Integrate[2 f[x], {x, 1, 2}] is not evaluated, which suggests that my new (possibly admittedly dangerous) definition has not been taken as a global rule for integration.


More relevantly, I tried


Unprotect[Expectation];
Expectation[ Boole[x_ > a_ && y_ > b_], {x_, y_}~Distributed~
    MultinormalDistribution[{0, 0}, {{1, c_}, {c_, 1}}]] = FF[a, b, c]
Protect[Expectation];


so that


Expectation[ 
 Boole[x > 1 && y > 2], {x, y}~Distributed~
  MultinormalDistribution[{0, 0}, {{1, 1/3}, {1/3, 1}}]]

returns FF[1,2,1/3]


(after a short while).


Questions





  1. What is the best way to write down the definition? Assign it to MultinormalDistribution, Expectation, Integrate?




  2. How to make sure it is "integrated" by Mathematica so that when attempting, e.g. to compute the expectation of d*Boole[x>a && y>b] it would return d*FF[a,b,c] (or the expectation of u+Boole[x>a && y>b] the Expectation of u + FF[a,b,c])? More specifically, how to make sure Mathematica tries to transform a given integral into a form which could match the new definition?





UPDATE




The package Rubi4 effectively extends the number of functions mathematica can integrate, though not following the path envisaged in this post.


Mathematica graphics




Comments

Post a Comment

Popular posts from this blog

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-...
Post a Comment
Read more

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...
Post a Comment
Read more

plotting - How to draw lines between specified dots on ListPlot?

I would like to create a plot where I have unconnected dots and some connected. So far, I have figured out how to draw the dots. My code is the following: ListPlot[{{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4,13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full] I have thought using ListLinePlot command, but I don't know how to specify to the command to draw only selected lines between the dots. Do have any suggestions/hints on how to do that? Thank you. Answer One possibility would be to use Epilog with Line : ListPlot[ {{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4, 13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full, Epilog -> { Line[ ...
Post a Comment
Read more