1
$\begingroup$

Can anyone explain me the features of a compactly supported functions behave when they are compactly supported. I am learning PDE and I come across it very often.

For example : When we define weak derivatives i.e
$\int_U uD^\alpha f=(-1)^{|\alpha|}\int_U vf$ , why do we take a function $f$ to be compactly supported ?

I wonder if it is has to do with the non-differentiability of $u$ at some point in the domain ?

Looking forward. Thanks

  • 1
    A *function* $f$, not a *set* is compactly supported. This means that the closure of the set $\{x:f(x)\neq 0\}$ is a compact set.2012-05-09
  • 0
    @ Alex , as i have come across behaviour of compactly supported functions is very useful and notable. Can you explain a bit with some example or give a an idea where i can learn about it . :)2012-05-09
  • 1
    Please read the title and body of the question again, it could use some proofreading :) Also, could you please include your comment in the body of your question? As it stands the only answer to your question is: the only feature all compactly supported functions share is that they are, well, compactly supported...2012-05-09
  • 0
    @Vedananda It's a very big topic, I'm not sure how this could be given a single answer.2012-05-09
  • 2
    I downvoted. "This question does not show any research effort." I encourage you to edit your question, give it some background and direction, and to be a bit more specific. I'm confident that if you put some more time into it, more users here would spend time on writing an answer.2012-05-09
  • 0
    @ mixedmath , i agree , i wanted to rush through it :P2012-05-09
  • 0
    @Vedananda: Do not forget to at least upvote the answers.2012-05-09
  • 0
    @ timur of course .2012-05-09
  • 0
    @Vedananda: thanks!2012-05-09
  • 1
    "Can anyone explain me all the features...?" In my opinion, *no*.2012-05-09

1 Answers 1

5

I cannot explain all the features, but the defining property of a compactly supported function $f$ defined on an open set $\Omega$ is that there exists a compact set $K$ in $\Omega$ such that $f(x)=0$ if $x\not\in K$. This is useful since for instance when you do integration by parts on $f$, the boundary terms vanish. If $g$ is any function, you can get a compactly supported function $fg$ by multiplying it by $f$. This is called a cut-off process.

In the PDE context, cut-off functions are usually smooth, this means that, as mentioned in the comment, all derivatives of $f$ will be uniformly continuous.

  • 3
    Plus you get uniform continuity.2012-05-09