Mathoverflow Net Questions 204577 Uniqueness-Of-A-smooth-function 204578#204578
-
Upload
maximbogdanel -
Category
Documents
-
view
214 -
download
0
description
Transcript of Mathoverflow Net Questions 204577 Uniqueness-Of-A-smooth-function 204578#204578
Questions Tags Users Badges Unanswered Ask Question
Take the 2-minute tourTake the 2-minute tour ×
Student10 3
1 Answer
coudy5,692 19 49
active oldest votes
-1Let x, y: [a, b] → R, a < b, a, b ∈ R be two smooth functions (x, y ∈ C∞([a, b])). How can I prove thatthere is a unique function θ : [a, b] → R, θ ∈ C∞([a, b]) such that:
x(t)sinθ(t) = y(t)cosθ(t), ∀ t ∈ [a, b].(x(t0), y(t0)) = (x0, y0) ≠ (0, 0) is given
θ(t0) = θ0 is given too such that x(t0)sinθ(t0) = y(t0)cosθ(t0).
dg.differential-geometry smooth-manifolds
share improve this question asked May 3 at 11:51
closed as off-topic by Deane Yang, Benoît Kloeckner, Igor Belegradek, Alex Degtyarev, HughThomas May 3 at 14:33
This question appears to be off-topic. The users who voted to close gave these specific reasons:
"MathOverflow is for mathematicians to ask each other questions about their research. SeeMath.StackExchange to ask general questions in mathematics." – Benoît Kloeckner, Hugh Thomas"This question does not appear to be about research level mathematics within the scope defined in the helpcenter." – Deane Yang, Igor Belegradek, Alex Degtyarev
If this question can be reworded to fit the rules in the help center, please edit the question.
1 There cannot be uniqueness because your assumptions do not prevent x, y from vanishing on a subinterval,and on that subinterval θ can be chosen arbitrarily. – Igor Belegradek May 3 at 12:20
1You need (x(t), y(t)) to be non-zero for all t. If the curve t ↦ (x(t), y(t)) spends some time at the origin,you can choose θ as you wish there.
Assuming that (x, y) is non-zero, your question boils down to representing the curve in polarcoordinates. Writing x = rcos(η), y = rcos(η), we get
r(cosηsinθ − sinηcosθ) = rsin(θ − η) = 0
Given some initial condition, it is classical that we can choose η(t) uniquely if r is non-zero everywhere,by the fact that the standard projection R ↦ S1 given by η ↦ (cos(η), sin(η)) is a covering map. Then
η(t) − θ(t) must belong to π2 mod π and thus by continuity, this difference is constant, the constant being
given by the initial condition.
EDIT: here is a counterexample to the existence of such θ when (x, y) is allowed to vanish. Choose a C∞
function ϕ on R such that this function together with all its derivatives vanish at the origin. We take
x(t) = ϕ(t)cos(1/t), y(t) = ϕ(t)sin(1/t)
It is not difficult to show that x and y are smooth but the angle has no limit at t = 0. What is happening isthat the vector (x(t), y(t)) is spinning very fast near the origin.
share improve this answer edited May 3 at 15:13 answered May 3 at 12:22
It remains true (the uniqueness) when it is given that: (x(t), y(t)) = (0, 0) ⟺ t ∈ {t1 < t2 < … < tn}? – Student May 3 at 12:29
Yes if the angle has a limit at each ti, in which case you can glue together the solutions on each of theintervals. But this may not be the case, see my answer. – coudy May 3 at 12:53
Asked 1 Month AgoViewed 115 TimesActive 1 Month Ago
Related
5 Are smooth functions on anuncountable sumcontinuous?
2 Space of derivations ofholomorphic (analytic)functions
18 What is meant by smoothorbifold?
3 The double of a smoothmanifold with boundary?
4 On the smooth structure of thespaces of k-jets
0 Is this function on the surfacesmooth?
1 Cover a set with ballscentered at smooth functions(Ascoli theorem)
0 Can a smooth function on across be extended to thewhole plane?
4 Elementary Proof of theUniqueness of SmoothStructures on R
1 Sequence of smooth mapsconverging to the identity
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registrationrequired.
Uniqueness of a smooth function [closed]
sign up
log in
tour
help
search
{
intervals. But this may not be the case, see my answer. – coudy May 3 at 12:53
Not the answer you're looking for? Browse other questions tagged dg.differential-geometry
smooth-manifolds or ask your own question.
tour help blog chat data legal privacy policy work here advertising info mobile contact us feedback
TECHNOLOGY LIFE / ARTS CULTURE /RECREATION
SCIENCE OTHER
Stack Overflow
Server Fault
Super User
Web Applications
Ask Ubuntu
Webmasters
Game Development
TeX - LaTeX
Programmers
Unix & Linux
Ask Different (Apple)
WordPress Development
Geographic InformationSystems
Electrical Engineering
Android Enthusiasts
Information Security
Database Administrators
Drupal Answers
SharePoint
User Experience
Mathematica
Salesforce
more (14)
Photography
Science Fiction &Fantasy
Graphic Design
Seasoned Advice(cooking)
Home Improvement
Personal Finance &Money
Academia
more (10)
English Language &Usage
Skeptics
Mi Yodeya (Judaism)
Travel
Christianity
Arqade (gaming)
Bicycles
Role-playing Games
more (21)
Mathematics
Cross Validated (stats)
Theoretical ComputerScience
Physics
MathOverflow
more (7)
Stack Apps
Meta Stack Exchange
Area 51
Stack Overflow Careers
site design / logo © 2015 stack exchange inc; user contributions licensed under cc by-sa 3.0 with attribution requiredrev 2015.6.26.2686