Integration over Implicitly Defined Regions

Example: Integration over the Unit Disk

This computes the area of the unit disk using symbolic integration. Boole is a new function that converts inequalities to Boolean expressions.

In[1]:= Out[1]:=

The region represented by x2+ y2 < 1

This computes the same area using numeric methods, but using a similar symbolic reduction method as for the symbolic integral.

In[2]:=

Out[2]:=

Example: Integration over Combinations of Inequalities

You can use any logical combination of inequalities and integrate a function over that region.

In[3]:= Out[3]:=

Example: Integration over Parameterized Inequalities

With undefined parameters in the region description, the result is computed for all possible values.

In[4]:=

Out[4]:=

Using the symbolic result above, the region and its area are plotted for different values of parameter a.

Representation of region Area of region represented

Example: Integration over an Infinite Collection of Intervals

The methods work for all regions described by polynomial inequalities, but also for many solvable regions described by transcendental inequalities.

In this case the integration is over an infinite collection of intervals.

In[5]:=

Out[5]:=