Can All Functions Be Explicitly Inverted?

  • Context: Graduate 
  • Thread starter Thread starter eljose
  • Start date Start date
  • Tags Tags
    Functions Inverse
Click For Summary

Discussion Overview

The discussion revolves around the question of whether all functions can be explicitly inverted, focusing on specific examples such as \( y=\frac{\sin(x)}{x} \), \( y=\cos(x)+x \), and \( y=\int_{c}^{x}dt/\log t \). Participants explore the conditions under which these functions may or may not have explicit inverses, particularly in the context of functions that are not analytic across the entire real line.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • Some participants note that many functions mentioned do not have inverses defined for all real numbers and question how to restrict them to ensure they do.
  • One participant suggests using integrals to find inverse functions, providing a derivative approach and acknowledging the complexity involved.
  • Another participant emphasizes the distinction between the existence of an inverse and the ability to express it in a simple form, arguing that while an inverse exists if a function is bijective, constructing it explicitly can be challenging.

Areas of Agreement / Disagreement

Participants express differing views on the conditions necessary for functions to have explicit inverses, with some asserting that explicit inversion is always possible under certain conditions, while others highlight the complications arising from non-analytic functions.

Contextual Notes

Limitations include the dependence on the definitions of bijectivity and analyticity, as well as the unresolved nature of how to handle specific terms like \(|x|\), \(\ln x\), and \(1/x\) in the context of inversion.

eljose
Messages
484
Reaction score
0
Let,s suppose we want to obtain the inverse of the functions:

[tex]y=\frac{sin(x)}{x}[/tex] [tex]y=cos(x)+x[/tex] or [tex]y=\int_{c}^{x}dt/logt[/tex]

as you can check you can,t explicitly get g(y)=x from y=f(x)..then how would you manage to get it?..i have heard about Lagrange inverse series theorem to invert a series..but what happens if the function is not analytic on the whole real line?..for example includes terms in the form |x|, lnx, 1/x or x^{r} with r a real number.
 
Physics news on Phys.org
Most of the functions you mention do not have inverses defined for all real numbers. How are you restricting them so that they do?
 
you can use some sorts of integrals to find inverse functions.
1)
[tex]y'=\frac{xcosx-sinx}{x^2}[/tex]
let g be the inverse function,
[tex]\frac{dg}{dx}=\frac{1}{y'(y)}[/tex]
substitute [tex]y=\frac{sinx}{x}[/tex]

integrate it and get g... well its going to be messy. however, as hallsofivy said, these functions have restrictions... so be careful.
 
eljose said:
Let,s suppose we want to obtain the inverse of the functions:

[tex]y=\frac{sin(x)}{x}[/tex] [tex]y=cos(x)+x[/tex] or [tex]y=\int_{c}^{x}dt/logt[/tex]

as you can check you can,t explicitly get g(y)=x from y=f(x)..then how would you manage to get it?..i have heard about Lagrange inverse series theorem to invert a series..but what happens if the function is not analytic on the whole real line?..for example includes terms in the form |x|, lnx, 1/x or x^{r} with r a real number.

You are confusing existence with, well, who knows what, evaluation perhaps. *If* a function has an inverse (i.e. if it is bijective) then its inverse is what it is. Constructing the value of the inverse evaluated at any given point, or expressing it in a nice elementary function form is strictly a different issue from saying you can't get its inverse explicitly (you always can get its inverse explicitly...).
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 36 ·
2
Replies
36
Views
6K
  • · Replies 1 ·
Replies
1
Views
3K