<p>In this paper we consider a generalized polynomial <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( f \colon \mathbb{R}^N \to \mathbb{R} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo lspace="0pt">:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> that satisfies the additional equation <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( f(x) f(y) = 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for the pairs <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( (x,y) \in D \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( D \subseteq \mathbb{R}^{2N} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>N</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> has a positive Lebesgue measure or it is a second category Baire set. We prove that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( f(x) = 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( x \in \mathbb{R}^N \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. In fact, the first statement is established in a considerably more general setting. Then we formulate statements concerning the signs of generalized monomials <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( g \colon \mathbb{R} \to \mathbb{R} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo lspace="0pt">:</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> of even degree that satisfy the inequality <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( g(x) g(y) \geq 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mi>g</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for the pairs <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( (x,y) \in E \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( E \subseteq \mathbb{R}^{2} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> has a positive planar Lebesgue measure or it is a second category Baire set.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

An alternative equation for generalized polynomials involving measure and category constraints

  • Z. Boros,
  • R. Menzer

摘要

In this paper we consider a generalized polynomial \( f \colon \mathbb{R}^N \to \mathbb{R} \) f : R N R that satisfies the additional equation \( f(x) f(y) = 0 \) f ( x ) f ( y ) = 0 for the pairs \( (x,y) \in D \) ( x , y ) D , where \( D \subseteq \mathbb{R}^{2N} \) D R 2 N has a positive Lebesgue measure or it is a second category Baire set. We prove that \( f(x) = 0 \) f ( x ) = 0 for all \( x \in \mathbb{R}^N \) x R N . In fact, the first statement is established in a considerably more general setting. Then we formulate statements concerning the signs of generalized monomials \( g \colon \mathbb{R} \to \mathbb{R} \) g : R R of even degree that satisfy the inequality \( g(x) g(y) \geq 0 \) g ( x ) g ( y ) 0 for the pairs \( (x,y) \in E \) ( x , y ) E , where \( E \subseteq \mathbb{R}^{2} \) E R 2 has a positive planar Lebesgue measure or it is a second category Baire set.