Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider a smooth function $f(x)$ on $\mathbb{R}^{n}$ from some smoothness class $S_1$ and define $$ F(y) = \int\limits_{g(x,y)\leqslant 0}f(x)dx $$ where $y \in \Omega$, $\Omega$ is some domain in $\mathbb{R}^{k}$, $g(x,y)$ is some smoth function from smoothness class $S_{2}$. Is there some general way to obtain smoothness properties of function $F$?

For example, $S_1 = \mathcal{S}(\mathbb{R}^n)$ (Schwartz space), $g(x,y) = g(x*y)$, where $*$ is an addition or entrywise multiplication and $g(\cdot) \in C^{m}(\mathbb{R}^n)$.

share|cite|improve this question

First, I think you need to replace $g(x,y)\leq 0$ by $g(x,y) < 0$; for example, with $g(x,y)\leq 0$, if you take $g(x,y)$ to be a plane in $\mathbb{R}^3$ crossing the $xy$-plane along the $x$-axis, with $g(x,y) > 0$ for all $y > 0$ and $g(x,y) < 0$ for $y < 0$, then you're in trouble: $F$ is not even continuous even for some analytic $f$ (notice that $g$ in this case is also analytic). Otherwise, the problem is reduced to smoothness of $\int_{h_1(y)}^{h_2(y)}f(x)d(x)$ as a function of $y$, provided smoothness of $h_i$. Now use the fundamental theorem (of course, you have to take care of some geometric conditions - i.e. investigate intersection of the surface $\{(x,y,g(x,y))\in \mathbb{R}^n\times\mathbb{R}\}$ with $\mathbb{R}^n\times\{0\}$, investigate smoothness of this intersection).

For instance, in case $g: \mathbb{R}^2\rightarrow\mathbb{R}$, transversality of intersection of the graph of $g$ with the $xy$-plane would ensure that the region $\{(x,y): g(x,y) < 0\}$ has smooth boundary, and the problem, as stated above, is reduced to investigating $\int_{h_1(y)}^{h_2(y)}f(x)d(x)$.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.