Understanding Domain & Range in R^2: Conditions for Image in Boundary

Click For Summary

Discussion Overview

The discussion revolves around the conditions required for a function defined in R² to ensure that points on the boundary of its domain correspond to points on the boundary of its range. The focus includes theoretical aspects of continuous mappings, Jacobians, and the implications of these properties in the context of multiple integrals.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant asks for conditions that ensure boundary points of the domain map to boundary points of the range.
  • Another participant questions whether every boundary point of the domain necessarily has an image on the boundary of the range.
  • A participant describes the relationship between variables in the context of functions f(x, y) and F(u, v), noting that these functions are injective and referencing Apostol's Calculus regarding the Change of Variable theorem.
  • It is suggested that sufficient conditions include continuous second partial derivatives and a non-null Jacobian, while necessary conditions may be broader.
  • One participant notes that continuous mappings preserve topological properties, such as open and closed sets, but cautions that the inverse mapping may not retain these properties.
  • A participant expresses uncertainty about the implications of continuity of second partial derivatives on the mapping of boundary points.

Areas of Agreement / Disagreement

Participants express differing views on the necessity and sufficiency of conditions for mapping boundary points, indicating that the discussion remains unresolved with multiple competing perspectives.

Contextual Notes

Limitations include the dependence on the definitions of continuity, injectivity, and the properties of the Jacobian, as well as the unresolved nature of the implications of these conditions on boundary mappings.

Castilla
Messages
241
Reaction score
0
Can you help me with this? I have a function with domain and range in R^2. What conditions it must have so that a point in the boundary of the domain will have its image in the boundary of the range?

Thanks.
 
Physics news on Phys.org
Are you saying that every point on the boundary of the domain has image on boundary of the range?
 
Yes. We have a set R in a plane xy and a set R* in a plane uv.

We have functions f(x, y) and F(u, v) and the variables have this relations:

u = u(x, y) and v = v(x,y).

x = x(u, v) and y = y(u,v).

These functions u, v, x, y are inyective.

In Apostol' Calculus (vol.2), in the preliminaries to the proof of the Change of Variable theorem for Multiple Integrals, Apostol states this (I am translating from spanish to english):

"For the proof we suppose that the functions x and y have continuous second partial derivatives and that the jacobian nevers goes null in R*. The J(u, v) is always positive or always negative. The meaning of the sign of J(u,v) is thath when a point (x, y) describes the boundary of R in counterclockwise sense, the image point (u, v) describes the boundary of R* in the same sense if J(u,v) es positive and in contrary sense if J(u,v) is negative.
 
Eh... any idea ??
 
As stated sufficient conditions is that the functions have continuous second partial derivatives and the Jacobian is not null.

The necessary conditions may be a bit broader. Hmmmm...

Recall that by definition a continuous mapping will map open neighborhoods to open neighborhoods. Thus anything defined topologically (open sets, closed sets, boundary, and interior) will be preserved by the mapping. [But note that the inverse mapping may not be defined and so topological properties of the image may not map back to properties of the original set.]

Certainly a continuous and invertible function will be sufficient (but invertiblity may not be necessary.) I don't remember for certain.

Now in order to carry out a change of variables you need stronger conditions so that the integrals will be equal and that is the business with the continuous second partial derivatives and non-singular Jacobian.
 
Jambaugh, may be you can give me some hints as why the continuity of the second partial derivatives implies that the image of a boundary point of the domain set is on the boundary of the range set.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K