Skip to main content
4 of 4
added question mark, other minor changes
user avatar
user avatar

When do volumes depend real-analytically on the parameters defining the regions?

Suppose $f_1, \dots, f_n$ are real-valued real analytic functions defined on an open set $B=(0,1)^d$ of $\mathbb{R}^d$. For $r \in \mathbb{R}$, let $S_r$ be the sub-level set in $B$ defined by the system of inequalities $$f_1(x) <r, \dots, f_n(x)<r,$$ and denote by $V(r)$ the volume of the set $S_r$. One generally cannot expect $V(r)$ to be a real analytic function of $r$; take, for instance, $B=(0,1)$ and $f_1(x)=x$.

It seems to me that if one somehow avoids "incoming" or "outgoing" conditions as $r$ varies, then $V(r)$ should depend real-analytically on $r$. Can such a statement be precisely formulated and proved, and is there a reference for it?

Keivan Karai
  • 6.2k
  • 2
  • 37
  • 48