Return to Question

2 added 14 characters in body

Hello,

While studying Sobolev spaces, the following question came to my mind. Any help in this direction is appreciated.

QUESTION

Let $U\subseteq\mathbb{R}^n$ be open. Does there exist a function $f\in L^1_{\text{loc}}(U)$ such that

1) the classical derivative $Df$ exists everywhere in $U$.

2) $f$ is weakly differentiable in $U$. Let us write $D_w f$ to denote the weak derivative of $f$.

3) $Df\neq D_w f$, on a set of positive measure.

Note that, we are assuming the existence of both the derivatives. I'm aware of examples where one exists while other one does not.

The problem seems to be related to the question of validity of integration by parts for differentiable functions that are only differentiable.

Thank you.

1

Classical Derivative, Weak Derivative and Integration by Parts

Hello,

While studying Sobolev spaces, the following question came to my mind. Any help in this direction is appreciated.

QUESTION

Let $U\subseteq\mathbb{R}^n$ be open. Does there exist a function $f\in L^1_{\text{loc}}(U)$ such that

1) the classical derivative $Df$ exists everywhere in $U$.

2) $f$ is weakly differentiable in $U$. Let us write $D_w f$ to denote the weak derivative of $f$.

3) $Df\neq D_w f$, on a set of positive measure.

Note that, we are assuming the existence of both the derivatives. I'm aware of examples where one exists while other one does not.

The problem seems to be related to the question of validity of integration by parts for differentiable functions.

Thank you.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 18, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9397565126419067, "perplexity_flag": "head"}