How Do You Maximize a Quadratic Form on a Sphere with an Affine Transformation?

Click For Summary
SUMMARY

This discussion focuses on maximizing a quadratic form defined by a symmetric matrix B derived from an affine transformation A applied to points on a sphere. The transformation is represented as a 4x4 matrix in homogeneous coordinates, and the points are constrained within the sphere defined by the equation (x-m)² ≤ r². The key equation for maximizing displacement is d²(x) = x^T B x, where B = (A-E)². The challenge lies in the properties of matrix B, which can be positive, negative, or indefinite, affecting the extremum location.

PREREQUISITES
  • Understanding of affine transformations in homogeneous coordinates
  • Knowledge of quadratic forms and symmetric matrices
  • Familiarity with optimization techniques on constrained surfaces
  • Basic concepts of spherical geometry
NEXT STEPS
  • Study the properties of symmetric matrices and their eigenvalues
  • Learn about optimization methods for quadratic forms
  • Explore techniques for constrained optimization on manifolds
  • Investigate the implications of definiteness in quadratic forms
USEFUL FOR

This discussion is beneficial for mathematicians, data scientists, and engineers working on optimization problems involving geometric constraints, particularly those dealing with quadratic forms and affine transformations in multidimensional spaces.

Highwind
Messages
6
Reaction score
0
Hi,

I search for the maximum of a quadric for points on a sphere.
I have an affine transform A (4x4 matrix, in homogeneous coord.) and apply it to points on (and inside) a sphere [itex]x \in S_{m,r} \Leftrightarrow (x-m)^2<=r^2[/itex]. (Although I think the extremum must be on the surface of the sphere?).

Now I want to find the maximum displacement of any point in/on S:
[itex]d^2 (x) = (A x - x)^2 = ( (A-E) x)^2 = x^T (A-E)^T (A-E) x[/itex]

The matrix [itex]B:= (A-E)^T (A-E)[/itex] is of course symmetric.

so what is:
[itex]max_{x \in S} \ d^2(x) = max_{x \in S} \ x^T B x[/itex]

Thanks for any help...
 
Last edited:
Physics news on Phys.org
This cannot be answered in this generality. E.g. ##B## could be negative (or positive or neither) definit, and you have basically only a symmetric bilinear form. If it is, then ##0## will be the maximum.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 28 ·
Replies
28
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K